Temporal abstract classes and virtual temporal specifications for real-time systems
Article
Pons, AP. (2002). Temporal abstract classes and virtual temporal specifications for real-time systems
. ACM Transactions on Software Engineering and Methodology, 11(3), 291-308. 10.1145/567793.567794
Pons, AP. (2002). Temporal abstract classes and virtual temporal specifications for real-time systems
. ACM Transactions on Software Engineering and Methodology, 11(3), 291-308. 10.1145/567793.567794