Pages that link to "Item:Q5902542"
From MaRDI portal
The following pages link to Formal Methods for Open Object-Based Distributed Systems (Q5902542):
Displaying 5 items.
- Embedding of biological regulatory networks and property preservation (Q359895) (← links)
- Refinement, conformance and inheritance (Q751843) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- Formal Methods for Components and Objects (Q5311295) (← links)