Detection of cycle in real-time system specification
ACM SIGPLAN Notices
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Test scenario generation from a structured requirements specification
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Design of service-based systems with adaptive tradeoff between security and service delay
ATC'07 Proceedings of the 4th international conference on Autonomic and Trusted Computing
Hi-index | 0.00 |