Chaochen Zhou – författare
Visar alla böcker från författaren Chaochen Zhou. Handla med fri frakt och snabb leverans.
3 produkter
Duration Calculus
A Formal Approach to Real-Time Systems
Av Chaochen Zhou, Michael R. Hansen
Inbunden, 2003
1128 kr
Lägg i varukorg
Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an …
Duration Calculus
A Formal Approach to Real-Time Systems
Av Chaochen Zhou, Michael R. Hansen
Häftad, 2010
1128 kr
Lägg i varukorg
Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an …
Duration Calculus
A Formal Approach to Real-Time Systems
Av Michael R. Hansen, Chaochen Zhou
E-bok, 2013
1470 kr
Lägg i varukorg
Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an …
