Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / [electronic resource] :
by Heinrich Rust.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3456 0302-9743 ; .
9783540320081
Computer science Software engineering Operating systems (Computers) Computer Science Software Engineering Computation by Abstract Devices Programming Languages, Compilers, Interpreters Operating Systems Mathematical Logic and Formal Languages