Activation-Oriented Specification of Real-Time Systems
Authors:
Vered Gafni;Amiram Yehudai;Yishai A. Feldman
Affiliations:
-;-;-
Venue:
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering