An edition of Duration calculus (2004)
A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
By Chaochen Zhou,Michael R. Hansen
Publish Date
February 12, 2004
Publisher
Springer
Language
eng
Pages
247
Description:
subjects: Mathematics, Real-time data processing, Formal methods (Computer science), Data processing, Mathematics, data processing, Temps reel, Methodes formelles (Informatique), Mathematiques, Informatique