From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design
| Title | From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha |
| Conference Name | 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) |
| Date Published | April |
| Keywords | 1545008 |
| DOI | 10.1109/RTAS.2016.7461337 |
| Citation Key | Jiang2016RTAS |