DURATION CALCULUS (HB 2004). Cet article n’est pas disponible.
Langue : anglais
Edité par SPRINGER, 2004
- Livre relié
- Neuf
Vendeur : UK BOOKS STORE, London, London, Royaume-UniUK BOOKS STORE
Vendeur AbeBooks depuis 11 mars 2024
Etat: Neuf
EUR 237,57
A propos de cet article
Brand New ! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
N° de réf. du vendeur Cvs 9783540408239
- Titre
- DURATION CALCULUS (HB 2004)
- Auteur
- CHAOCHEN Z.
- Éditeur
- SPRINGER
- Année de publication
- 2004
- État de l'article
- New
- Reliure
- Couverture rigide
- Langue
- anglais
- ISBN à 10 chiffres
- 3540408231
- ISBN à 13 chiffres
- 9783540408239
- Édition
- Edition internationale
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness, decidability, undecidability, model-checking), results, as well as case studies (Deadline Driven Scheduler).
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
À propos de l’auteur
Professor ZHOU Chaochen, Institute of Software, Chinese Academy of Sciences. Members of Chinese Academy of Sciences and the Third World Academy of Sciences. Former Director of International Institute for Software Technology, United Nations University. He has had about 30 years research experience in the area of formal techniques for computing systems, in particular for distributed and real-time systems.
Associate Prof. Michael R. Hansen. Informatics and Mathematical Modelling, Technical University of Denmark
Research interests:
Formal Methods, Computer Based Systems, Real-time systems, Hybrid systems, Duration Calculus.
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.