Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems /

Bibliographic Details
Main Author:	Rust, Heinrich
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2005]
Series:	Lecture notes in computer science. 3456.
Subjects:	Hybrid systems. Operating systems (Computers) Real-time data processing. Real-time programming. Semantics. Calculateurs hybrides. Programmation en temps réel. Sémantique. Systèmes d'exploitation (Ordinateurs) Temps réel. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online