Cover Image

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

Show other versions (1)
Bibliographic Details
Main Author: Rust, Heinrich
Format: eBook
Language:English
Published: Berlin ; New York : Springer, [2005]
Series:Lecture notes in computer science. 3456.
Subjects:
Real-time data processing.
Real-time programming.
Hybrid computers.
Operating systems (Computers)
Semantics.
Online Access:http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3456
Description
Physical Description:xii, 223 pages : illustrations ; 24 cm.
Also issued online.
Bibliography:Includes bibliographical references (pages [215]-220) and index.
ISBN:3540255761
ISSN:0302-9743 ;