Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
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
csp2B: A Practical Approach to Combining CSP and B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Refinement in Object-Z and CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Combining Independent Specifications
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Relating state-based and behaviour-oriented subtyping
Nordic Journal of Computing
Action Systems for Security Specification
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A pragmatic basis for the formal development of distributed systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Relational Concurrent Refinement with Internal Operations
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement and verification in component-based model-driven design
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
An analysis of forward simulation data refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Introducing backward refinement into B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Refinement of models of software components
Proceedings of the 2010 ACM Symposium on Applied Computing
On hierarchically developing reactive systems
Information and Computation
Incompleteness of relational simulations in the blocking paradigm
Science of Computer Programming
Non-atomic refinement in z and CSP
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Of probabilistic wp and CSP - and compositionality
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
| Hi-index | 0.00 |