Specifying and verifying requirements of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Hi-index | 0.00 |