Pettersson, Paul.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Real time and such = essays dedicated to Wang Yi to celebrate his scientific career /
by:
SpringerLink (Online service); Yi, Wang,; Graf, Susanne.; Pettersson, Paul.; Steffen, Bernhard.
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by:
SpringerLink (Online service); FORMATS 2005 ((2005 :); Yi, Wang; Pettersson, Paul.
(Language materials, printed)
Subjects
Temporal automata
Software Engineering.
Formal methods (Computer science)
Computer Science.
Special Purpose and Application-Based Systems.
Automata
Programming Languages, Compilers, Interpreters.
Formal Languages and Automata Theory.
Logics and Meanings of Programs.
Computer simulation
Real-time data processing.