Enrico D'Urso

According to our database, Enrico D'Urso authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Combining PVSio with Stateflow.

Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014