The following pages link to (Q4737562):
Displaying 11 items.
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- On using data abstractions for model checking refinements (Q878378) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Model transformations across views (Q2266947) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Modelling Divergence in Relational Concurrent Refinement (Q3605466) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703819) (← links)