Pages that link to "Item:Q2948232"
From MaRDI portal
The following pages link to Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232):
Displaying 5 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)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL (Q5046486) (← links)
