Filter
Sökt på: Sökresultat
Filter
1 träff
Duration Calculus
E-bok,
2013,
Engelska,
ISBN 9783662067840
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 …