Publikationen im FuE-Bereich Verkehr
Nachfolgend finden Sie alle - innerhalb des FuE-Bereichs Verkehr veröffentlichten - Publikationen.
Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.
Titel
Virtual Observation for Assessment of Operator Situation Awareness
Titel der Konferenz
IHCI 2012
Alle Autoren
Frische, Florian; Lüdtke, Andreas
Jahr
2012
Titel
Virtual-Platform in the Loop Simulation for Accurate Timing Analysis of Embedded Software on Multicore Platforms
Titel der Konferenz
ASIM STS/GMMS Workshop 2012
Alle Autoren
Fakih, Maher; Grüttner, Kim
Jahr
2012
Titel
Validation of a Digital Human Model for Predicting Flight Crew - Aircraft Cockpit Interaction
Titel der Konferenz
Berliner Werkstatt für Mensch-Maschine Systeme
Alle Autoren
Lüdtke, Andreas; Frische, Florian; Osterloh, Jan-Patrick
Jahr
2011
Titel
Virtual Terminal Operation System for Joint Evaluation of Operation Strategies
Buchtitel
LOGMS 2010
Titel der Konferenz
LOGMS 2010 - The 1st International Conference on Logistics and Maritime Systems
Alle Autoren
Hahn, Axel
Jahr
2010
Titel
Virtual Terminal Operation Virtual Testbed for Joint Evaluation of Terminal Operation Strategies
Buchtitel
Go-3D 2010, Go for Innovations
Titel der Konferenz
Go-3D 2010
Alle Autoren
Hahn, Axel; Sauer, Jürgen
Jahr
2010
Titel
Verteilte Datenstromverarbeitung von Sensordaten
Alle Autoren
Cipriani, Nazario; Nicklas, Daniela; Grossmann, Matthias; Hönle, Nicola; Lübbe, Carlos; Mitschang, Bernhard
Jahr
2009
Titel
VisPara - VISsualization of Paralogs
Titel der Konferenz
5th Annual Cytoscape Public Symposium and Developers Retreat
Alle Autoren
Schwarz, Christoph; Siemer, Christian
Jahr
2007
Titel
Verification and Synthesis of OCL Constraints via Topology Analysis
Titel der Konferenz
3rd International Workshop on Applications of Graph Transformation with Industrial releVancE (AGTIVE 2007)
Alle Autoren
Bauer, Jörg; Damm, Werner; Toben, Tobe; Westphal, Bernd
Jahr
2007
Titel
Verification of cooperating traffic agents
Alle Autoren
Damm, W.; Hungar, H., Olderog, E.-R.
Jahr
2006
Titel
Verfahren zur Bestimmung von Verklemmungen in nebenläufigen Prozessen
Alle Autoren
Kersten, Michael
Jahr
2005
Titel
Verfahren zur Herstellung von computergestützten Echtzeitsystemen
Alle Autoren
Münzenberger, Ralf; Slomka, Frank; Dörfel, Matthias; Bringmann, Oliver
Jahr
2005
Titel
Verification of a Radio-based Signaling System Using the Statemate Verification Environment
Alle Autoren
Damm, W.; Klose, J.
Jahr
2001
Titel
Verification of Automotive Control Units
Buchtitel
Correct System Design
Alle Autoren
Bienmüller, T.; Bohn, J.; Brinkmann, H.; Brockmeyer, U.; Damm, W.; Hungar, H.; Jansen, P.
Jahr
1999