The following pages link to (Q4804914):
Displaying 8 items.
- Verification of evolving software via component substitutability analysis (Q934712) (← links)
- Generalized interface automata with multicast synchronization (Q1633060) (← links)
- Partition refinement of component interaction automata (Q1951613) (← links)
- Formal verification of safety protocol in train control system (Q2321189) (← links)
- Modular strategies for recursive game graphs (Q2368953) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- A Representation-Independent Behavioral Semantics for Object-Oriented Components (Q5428910) (← links)
- Can we communicate? Using dynamic logic to verify team automata (Q6174530) (← links)