Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Duration Calculus
inbunden,
2003,
Engelska,
ISBN 9783540408239
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 …
Duration Calculus
häftad,
2010,
Engelska,
ISBN 9783642074042
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 …