TILCOX an Extension of TILCO Temporal Logic
Formal techniques for the specification of realtime systems must be capable of describing temporal constraints among events and actions properties of invariance precedence periodicity repeated ...
777 Accessi Voto