The following pages link to XASM (Q32816):
Displaying 5 items.
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- Ontological transition systems structures (Q2882982) (← links)
- (Q2963869) (← links)
- (Q2979869) (← links)