The following pages link to Xavier Thirioux (Q2279136):
Displayed 6 items.
- Automated analysis of Stateflow models (Q4645732) (← links)
- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation (Q4989485) (← links)
- (Q5015367) (← links)
- Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems (Q5232243) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902543) (← links)
- Taylor series revisited (Q5919288) (← links)