Duration calculus : a formal approach to real time systems
Author: Zhou, Chaochen, 1937-, Hansen, Michael R
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Real-time data processing, Formal methods (Computer science), Mathematics, Temps réel, Méthodes formelles (Informatique), Mathématiques, Formale Spezifikationstechnik, Berechnungstheorie, Echtzeitsystem, HOL, Temporale Logik, Zeitintervall, Mathématiques - Informatique, Temporale Logik, Zeitintervall, Mathématiques - Informatique, Méthodes formelles (Informatique), Temps réel, Berechnungstheorie, Echtzeitsystem, Formale Spezifikationstechnik, HOL, Temporale Logik, Zeitintervall
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540408231, 9783540408239, 3642074049, 9783642074042
Pages Count: 600
PPI Count: 600
PDF Count: 1
Total Size: 73.54 MB
PDF Size: 17.53 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 530
Views: 580
Total Files: 18
Media Type: texts
Total Files: 5
Last Modified: 2022-03-09 09:07:16
Size: 7.08 KB
Description
Author: Prof. Zhou Chaochen, Assoc. Prof. Dr. Michael R. Hansen
Published by Springer Berlin Heidelberg
ISBN: 978-3-642-07404-2
DOI: 10.1007/978-3-662-06784-0
Table of Contents:
- Introduction
- Interval Logic
- Duration Calculus
- Deadline-Driven Scheduler
- Relative Completeness
- Decidability
- Undecidability
- Model Checking: Linear Duration Invariants
- State Transitions and Events
- Superdense State Transitions
- Neighborhood Logic
- Probabilistic Duration Calculus
Includes bibliographical references (pages 227-237) and indexes