Henzinger, Thomas A.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Embedded software = first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings /
by:
Henzinger, Thomas A.; Kirsch, Christoph M.; SpringerLink (Online service); EMSOFT 2001 ((2001 :)
(Language materials, printed)
Formal modeling and analysis of timed systems = 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings /
by:
Chatterjee, Krishnendu.; Henzinger, Thomas A.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer simulation
Computer software- Development
Computer Science.
Temporal automata