A compliance notation for verifying concurrent systems
Proceedings of the 24th International Conference on Software Engineering
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance
Proceedings of the 16th IEEE international conference on Automated software engineering
ClawZ: cost-effective formal verification for control systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
| Hi-index | 0.00 |