Specification of an Access Control System with a Formalism Combining CCS and CASL
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Invariant-Based Synthesis of Fault-Tolerant Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
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
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Combining Independent Specifications
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Supplementing a UML Development Process with B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Optimizing slicing of formal specifications by deductive verification
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
ArcAngelC: a Refinement Tactic Language for Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Validating a Platoon of Cristal Vehicles Using CSP||B
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Electronic Notes in Theoretical Computer Science (ENTCS)
Composing specifications using communication
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Using coupled simulations in non-atomic refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A tactic language for refinement of state-rich concurrent specifications
Science of Computer Programming
Unifying theories in proofpower-z
UTP'06 Proceedings of the First international conference on Unifying Theories of 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
Automatic translation from combined B and CSP specification to java programs
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Hardware verification and beyond: using b at AWE
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Chunks: component verification in CSP ∥ b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Retrenchment: extending refinement for continuous and control systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Relaxing b sharing restrictions within CSP||B
SC'12 Proceedings of the 11th international conference on Software Composition
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
Hi-index | 0.00 |