XASM
From MaRDI portal
Software:32816
No author found.
Related Items (5)
Unnamed Item ⋮ Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
This page was built for software: XASM
