Rust, Heinrich.
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 Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3456 0302-9743 ; . - Lecture Notes in Computer Science, 3456 .
9783540320081
10.1007/b135629 doi
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.
QA76.758
005.1
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 Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3456 0302-9743 ; . - Lecture Notes in Computer Science, 3456 .
9783540320081
10.1007/b135629 doi
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.
QA76.758
005.1