Pages that link to "Item:Q2948232"
From MaRDI portal
The following pages link to Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232):
Displaying 11 items.
- Barrier certificates revisited (Q507352) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- Verifying industrial hybrid systems with \textsc{MathSAT} (Q2849590) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- (Q4249562) (← links)
- Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL (Q5046486) (← links)
- Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory (Q5213976) (← links)
- Modelling, analysis and design of hybrid systems (Q5915515) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)