Articles liés à Duration Calculus: A Formal Approach to Real-Time Systems

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
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

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