Sciweavers

ICTAC
2004
Springer
13 years 9 months ago
Duration Calculus: A Real-Time Semantic for B
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
Samuel Colin, Georges Mariano, Vincent Poirriez