Title: Operational semantics for timed systems
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