XASM
From MaRDI portal
Software:32816
swMATH21003MaRDI QIDQ32816FDOQ32816
Author name not available (Why is that?)
Cited In (5)
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
- Ontological transition systems structures
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: XASM
