Overture Tool

swMATH18248MaRDI QIDQ30091FDOQ30091

Author name not available (Why is that?)

Cited In (4)

• Formal semantics of a VDM extension for distributed embedded systems
• Integrating formal specifications into applications: the ProB Java API
• 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