Pages that link to "Item:Q3557669"
From MaRDI portal
The following pages link to The Abstract State Machines Method for High-Level System Design and Analysis (Q3557669):
Displaying 4 items.
- Communities and ancestors associated with Egon Börger and ASM (Q2117583) (← links)
- Abstract State Machines (Q4429922) (← links)
- Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems (Q5045457) (← links)
- Foundations of Information and Knowledge Systems (Q5901857) (← links)