The following pages link to Overture Tool (Q30091):
Displayed 4 items.
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- Integrating formal specifications into applications: the ProB Java API (Q2147695) (← links)
- Unifying Theories of Undefinedness in UTP (Q3455642) (← links)
- Formal Semantics of a VDM Extension for Distributed Embedded Systems (Q5187826) (← links)