A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Lessons from using basic LOTOS
ICSE '94 Proceedings of the 16th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A practical method for verifying event-driven software
Proceedings of the 21st international conference on Software engineering
An Analysis of Bitstate Hashing
Formal Methods in System Design
An Automated Verification Method for Distributed Systems Software Based on Model Extraction
IEEE Transactions on Software Engineering
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
Protocol Validation for Large-Scale Applications
IEEE Software
Formal validation of virtual finite state machines
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Research: Designing bug-free protocols with SPIN
Computer Communications
| Hi-index | 0.00 |