Login / Signup
Enrico D'Urso
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Spatio Temporal
Multiresolution
Pairwise
Combining Multiple
Top Venues
NASA Formal Methods
</>
Publications
</>
Paolo Masci
,
Yi Zhang
,
Paul L. Jones
,
Patrick Oladimeji
,
Enrico D'Urso
,
Cinzia Bernardeschi
,
Paul Curzon
,
Harold Thimbleby
Combining PVSio with Stateflow.
NASA Formal Methods
(2014)