Yi Zhang
AuthID: R-00H-5P0
1
TITLE: Combining PVSio with Stateflow
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium, NFM 2014 in NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, VOLUME: 8430
AUTHORS: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLISHED: 2014, SOURCE: 6th NASA Formal Methods Symposium, NFM 2014 in NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, VOLUME: 8430
