Duration calculus : A formal approach to real-time systems, (Monographs in theoretical computer science, An EATCS series), Softcover reprint of hardcover 1st ed. 2004 A Formal Approach to Real-Time Systems Monographs in Theoretical Computer Science. An EATCS Series
Auteurs : Zhou Chaochen, Hansen Michael R.
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
Formal Methods, Computer Based Systems, Real-time systems, Hybrid systems, Duration Calculus.
Comprehensive introduction to interval logic and duration calculus, for modelling, analysing and verifying real-time systems
Covers theory (completeness, decidability, undecidability, model-checking) results, as well as case studies (Deadline Driven Scheduler)
Contains chapters which point to further research (Probabilistic DC, Neighbourhood logic)
Date de parution : 12-2010
Ouvrage de 250 p.
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 147,69 €Ajouter au panier