An edition of Operational semantics for timed systems (2005)
a non-standard approach to uniform modeling of timed and hybrid systems
By Heinrich Rust
Publish Date
2005
Publisher
Springer
Language
eng
Pages
223
Description:
subjects: Hybrid computers, Operating systems (Computers), Real-time data processing, Real-time programming, Semantics, Informatique, Programmation en temps réel, Hybrid systems, Calculateurs hybrides, Systèmes d'exploitation (Ordinateurs), Temps réel, Sémantique