Zhou, Chaochen Hansen, Michael R
Duration calculus formal approach to real-time systems - Berlin Springer c2004. - x, 247 p. - EATCS monographs on theoretical computer science .
3540408231
Real-time data processing.
Formal methods (Computer science)
Mathematics
Data processing.
681.3.06 CHA
Duration calculus formal approach to real-time systems - Berlin Springer c2004. - x, 247 p. - EATCS monographs on theoretical computer science .
3540408231
Real-time data processing.
Formal methods (Computer science)
Mathematics
Data processing.
681.3.06 CHA