Technical report about an example of development: Crossroad Control Simulator
Formal techniques for the specication of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...
820 Accessi Voto