IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
Annals of Software Engineering
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
SPIN Tutorial: How to Become a SPIN Doctor
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Model Checking Object-Z Using ASM
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An experiment in feature engineering
Programming methodology
Formal Specification and Verification of the MISSI Sender and Local Cache Using SPIN
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
Synchronizing sequences on not strongly connected Petri nets (Work-in-Progress)
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Towards a model checker for Nesc and wireless sensor networks
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Proof planning for first-order temporal logic
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
A new approach in model-based testing: designing test models in TTCN-3
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Improving the efficiency of automated protocol implementations using a configurable FDT compiler
Computer Communications
PPP (P3): an Estelle-based probabilistic partial protocol verification system
Computer Communications
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae
Hi-index | 0.00 |