Cited in
(14)- Formal semantics of a VDM extension for distributed embedded systems
- Integrating formal specifications into applications: the ProB Java API
- CoreASM
- Petruchio
- VDMTools
- 20-sim
- BTestBox
- EventB2Java
- Unifying theories of undefinedness in UTP
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
- BMotionWeb
- JeB
- VisB
- WebASM
This page was built for software: Overture Tool
