The following pages link to (Q4536603):
Displaying 6 items.
- An algebraic theory of interface automata (Q402131) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
- Multiple Viewpoint Contract-Based Specification and Design (Q3602999) (← links)
- (Q5021015) (← links)
- (Q5077350) (← links)
