Pages that link to "Item:Q1881177"
From MaRDI portal
The following pages link to On the testability of SDL specifications (Q1881177):
Displaying 5 items.
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Canonical finite state machines for distributed systems (Q1044846) (← links)
- Coverage testing software architectural design in SDL. (Q1400433) (← links)
- (Q4426378) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900956) (← links)