Execution of TILCO Specifications Technical Report
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 ...
1119 Accessi Voto