Duration Calculus: A Formal Approach to Real-Time Systems - Couverture souple

Zhou, Chaochen; Hansen, Michael R.

 
9783662067857: Duration Calculus: A Formal Approach to Real-Time Systems
Couverture souple
ISBN 10 : 3662067854 ISBN 13 : 9783662067857
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

1. Introduction.- 2. Interval Logic.- 3. Duration Calculus.- 4. Deadline-Driven Scheduler.- 5. Relative Completeness.- 6. Decidability.- 7. Undecidability.- 8. Model Checking: Linear Duration Invariants.- 9. State Transitions and Events.- 10. Superdense State Transitions.- 11. Neighborhood Logic.- 12. Probabilistic Duration Calculus.- References.- Abbreviations.- Symbol Index.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662067854
ISBN 13 
9783662067857
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540408239: Duration Calculus: A Formal Approach to Real-Time Systems

Edition présentée

ISBN 10 :  3540408231 ISBN 13 :  9783540408239
Editeur : Springer-Verlag Berlin and Heide..., 2003
Couverture rigide