Login / Signup
Vincent Iampietro
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Ims Ld
Model Checker
Petri Net
Discrete Event Systems
Top Venues
PNSE@Petri Nets
</>
Publications
</>
Vincent Iampietro
,
David Andreu
,
David Delahaye
Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets.
PNSE@Petri Nets
(2020)