Operational semantics for timed systems
Subtitle: a non-standard approach to uniform modeling of timed and hybrid systems
By: [Heinrich Rust].
Series: Lecture notes in computer science,; 3456
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 223
ISBN-13: 9783540255765
Subjects: Real-time data processing.; Real-time programming.; Hybrid computers.; Operating systems (Computers); Semantics.
Notes: Includes bibliographical references (p. [215]-220) and index.