Pettersson, Paul.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
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.