Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
Experiences and lessons from the analysis of TCAS II
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
| Hi-index | 0.00 |