.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Operational Semantics for Timed Systems
Heinrich Rust
€ 68.98
FREE Delivery in Ireland
Description for Operational Semantics for Timed Systems
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 224 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 343.
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using uniform discrete time steps. Thus it integrates and reconciles two views of time that are commonly used separately in di?erent application domains. In many discrete systems time is modelled by discrete steps of uniform length, ... Read more
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. The proposed time model is well suited to express synchronicity of events in a real-number time model as well as strict causality by using uniform discrete time steps. Thus it integrates and reconciles two views of time that are commonly used separately in di?erent application domains. In many discrete systems time is modelled by discrete steps of uniform length, ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
224
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
224
Place of Publication
Berlin, Germany
ISBN
9783540255765
SKU
V9783540255765
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Operational Semantics for Timed Systems