Ready-Simulation Is Not Ready to Express a Modular Refinement Relation
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Flush: a system development tool based on scade/lustre
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Retrenchment and the b-toolkit
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Formal methods meet domain specific languages
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.00 |