FALKO
From MaRDI portal
Software:16996
No author found.
Related Items (10)
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Subject-Oriented Approach to Software Design and the Abstract State Machines Method ⋮ Unnamed Item ⋮ The Abstract State Machines Method for High-Level System Design and Analysis ⋮ Frontiers of Combining Systems ⋮ A guarded fragment for abstract state machines
This page was built for software: FALKO
