Pages that link to "Item:Q1937313"
From MaRDI portal
The following pages link to Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313):
Displaying 12 items.
- Explicit routing schemes for implementation of cellular automata on processor arrays (Q272775) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Compositional synthesis of state-dependent switching control (Q1623281) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- A mechanically verified theory of contracts (Q2119969) (← links)
- Transformations for Compositional Verification of Assumption-Commitment Properties (Q3447708) (← links)
- (Q5009705) (← links)
- (Q5019667) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)
