The following pages link to (Q4494252):
Displaying 7 items.
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- On using data abstractions for model checking refinements (Q878378) (← links)
- Model checking action system refinements (Q1019017) (← links)
- Model transformations across views (Q2266947) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- CSP with Hierarchical State (Q3605464) (← links)
