DaftarIsitemplate

Call Number

005.273 Cha d

Title

Duration calculus: a formal appproach to real-time systems

Author

Chaochen, Zhou;

Publisher

Berlin: Springer Verlag, 2004

Subject

Real-time data processing; Formal methods (Computer science) ; Mathematics-Data processing

Location