FALKO
From MaRDI portal
Software:16996
swMATH4839MaRDI QIDQ16996FDOQ16996
Author name not available (Why is that?)
Cited In (10)
- A guarded fragment for abstract state machines
- Frontiers of Combining Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Abstract State Machines Method for High-Level System Design and Analysis
- Title not available (Why is that?)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method
This page was built for software: FALKO
