Title: Duration calculus
Subjects: Mathematics, Real-time data processing, Formal methods (Computer science), Data processing, Mathematics, data processing, Temps reel, Methodes formelles (Informatique), Mathematiques, Informatique