The following pages link to Alongkrit Chutinan (Q4246809):
Displayed 7 items.
- (Q4246810) (← links)
- (Q4249565) (← links)
- (Q4473709) (← links)
- Verification of infinite-state dynamic systems using approximate quotient transition systems (Q4540483) (← links)
- Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow (Q4561459) (← links)
- (Q4948547) (← links)
- Computational techniques for hybrid system verification (Q5266964) (← links)