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
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
Buchtitel
Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Alle Autoren
Teige, Tino; Fränzle, Martin
Jahr
2011
Titel
Green-IT – Herausforderungen und Potenziale
Titel der Konferenz
Green Forum 2010
Alle Autoren
Nebel, Wolfgang
Jahr
2010
Titel
Green-IT – Herausforderungen und Potenziale
Titel der Konferenz
Green Forum 2010
Alle Autoren
Nebel, Wolfgang
Jahr
2010
Titel
Green-IT – Herausforderungen und Potenziale
Titel der Konferenz
Green Forum 2010
Alle Autoren
Nebel, Wolfgang
Jahr
2010
Titel
go!CART - Das UAV Programm der Metropolregion Bremen-Oldenburg
Buchtitel
Photogrammetrie, Laserscanning, Optische 3D-Messtechnik
Titel der Konferenz
Oldenburger 3D-Tage
Alle Autoren
Puls, Tim
Jahr
2010
Titel
GPS-based Position Control and Waypoint Navigation System for Quadrocopters
Titel der Konferenz
IROS09: International Conference on Intelligent RObots and Systems
Alle Autoren
Puls, Tim; Kemper, Markus; Küke, Reimund; Hein, Andreas
Jahr
2009
Titel
Gesellschaftlicher Nutzen der Heimvernetzung
Titel der Konferenz
Dritter Nationaler IT-Gipfel 2008
Alle Autoren
Brucke, Matthias; Busemann, Claas; Heuten, Wilko; Kamenik, Jens; Lünsdorf, Ontje; Sobeck, Ann-Kathrin
Jahr
2008
Titel
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems
Buchtitel
International Journal of Foundations of Computer Science
Alle Autoren
Werner Damm; Guilherme Pinto; Stefan Ratschan
Jahr
2007
Titel
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems.
Alle Autoren
Damm, W.; Pinto, G.; Ratschan, S.
Jahr
2006
Titel
Guaranteed termination in the verification of LTL properties of non-linear robust hybrid systems.
Buchtitel
Automated Technology for Verification and Analysis (ATA)
Alle Autoren
Damm, W.; Pinto, G.; Ratschan, S.
Jahr
2005
Titel
Generating Mixed Hardware/Software Systems from SDL Specifications
Buchtitel
Tagungsband
Alle Autoren
Slomka, Frank; Dörfel, Matthias; Münzenberger, Ralf
Jahr
2001