Yi Zhang
AuthID: R-00H-5P0
1
TÃTULO: Combining PVSio with Stateflow
AUTORES: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLICAÇÃO: 2014, FONTE: 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
AUTORES: Paolo Masci ; Yi Zhang; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby;
PUBLICAÇÃO: 2014, FONTE: 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
