Login / Signup
Matthieu Perin
ORCID
Publication Activity (10 Years)
Years Active: 2012-2022
Publications (10 Years): 4
Top Topics
Safety Analysis
Formal Specification
Petri Net
Propositional Logic
Top Venues
J. Syst. Softw.
RSSRail
ETFA
MEDI Workshops
</>
Publications
</>