Duration Calculus

OL9057045M

Duration Calculus

Chaochen Zhou

Publisher: Springer
Published: February 12, 2004
ISBN-13: 9783540408239
ISBN-10: 3540408231
Work ID: OL18351976W

Description

Metadata and publication details for Duration Calculus by Chaochen Zhou.

Subjects

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