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
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
Protocol Design: Redefining the State of the Art
IEEE Software
Concurrent Specification and Timing Analysis of Digital Hardware Using SDL
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Embedding a Dialect of SDL in PROMELA
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Bisimulation analysis of SDL-expressed protocols: a case study
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Automated generation of Promela model from SDL specification
Computer Standards & Interfaces
Sdl2pml - Tool for automated generation of Promela model from SDL specification
Computer Standards & Interfaces
| Hi-index | 0.00 |