Rust, Heinrich.

Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / [author, Heinrich Rust]. - Berlin ; New York : Springer, c2005. - 1 online resource (xii, 223 p.) : ill. - Springer Lecture notes in computer science, 3456 0302-9743 ; . - Lecture notes in computer science ; 3456. .

Includes bibliographical references (p. [215]-220) and index.

9783540320081 3540320083 3540255761 9783540255765 9786611408282 6611408282

974226734 DE-101


Real-time data processing.
Real-time programming.
Hybrid systems.
Operating systems (Computers)
Semantics.

QA76.54 / .R87 2005