swMATH18248MaRDI QIDQ30091FDOQ30091
Author name not available (Why is that?)
Official website: http://overturetool.org
Cited In (14)
- Formal semantics of a VDM extension for distributed embedded systems
- BMotionWeb
- JeB
- VisB
- WebASM
- 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
This page was built for software: Overture Tool
