Pages that link to "Item:Q714878"
From MaRDI portal
The following pages link to A formal abstract framework for modelling and testing complex software systems (Q714878):
Displaying 4 items.
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664) (← links)
- Chaste: A test-driven approach to software development for biological modelling (Q711741) (← links)
- Conformance notions for the coordination of interaction components (Q967558) (← links)
- Test-design through abstraction: A systematic approach based on the refinement calculus (Q2755069) (← links)