Refinement and Verification Applied to an In-Flight Data Acquisition Unit
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Playing with Abstraction and Refinement for Managing Features Interactions
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Synchronized Parallel Composition of Event Systems in B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Compositional Symmetric Sharing in B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Safety Analysis in Formal Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Hazard Analysis in Formal Specification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
Proceedings of the 16th IEEE international conference on Automated software engineering
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Using build-integrated static checking to preserve correctness invariants
Proceedings of the 11th ACM conference on Computer and communications security
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Implementation of control systems using B action systems: a case study
Nordic Journal of Computing
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Retrenchment and the b-toolkit
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Some guidelines for formal development of web-based applications in b-method
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Stepwise development of peer-to-peer systems
IWFM'03 Proceedings of the 6th international conference on Formal Methods
| Hi-index | 0.00 |