Login / Signup
Henrik Papist
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
State Machine
Software Engineering
Petri Net
Conceptual Models
Top Venues
CoRR
</>
Publications
</>
Christof Kaukewitsch
,
Henrik Papist
,
Marc Zeller
,
Martin Rothfelder
Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines.
CoRR
(2020)