Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
Extraction of Abstraction Invariants for Data Refinement
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Hi-index | 0.02 |