Publikationen
Liste als BibTeX-Datei exportieren
- 2017autoCode4: Structural Controller SynthesisChih-Hong Cheng, Edward A. Lee und Harald Rueß
In
Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS,
Seiten 398–404,
DetailsDOIBIB
- Oktober 2010Model-Based Specification of Timing RequirementsChristian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll und Edward A. Lee
In
Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010),
Seiten 239–248,
Scottsdale, Arizona, USA,
Association for Computer Machinery.
DetailsURLDOIBIB
- 2009Toward the Design of Robotic Software with Verifiable SafetyChih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee und Alois Knoll
In
Proceedings of the 33rd Annual IEEE International Computer Software
and Applications Conference, COMPSAC 2009, Seattle, Washington,
USA, July 20-24, 2009. Volume 1,
Seiten 622–623,
DetailsURLDOIBIB