Formal Methods in System Design
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
Refinement and Verification Applied to an In-Flight Data Acquisition Unit
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Hi-index | 0.00 |