Login / Signup
Joachim Schick
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Process Model
Formal Verification
Event Logs
Multiple Faults
Top Venues
Trans. Petri Nets Other Model. Concurr.
PNSE @ Petri Nets
</>
Publications
</>
Robin Bergenthum
,
Joachim Schick
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory.
Trans. Petri Nets Other Model. Concurr.
10 (2015)
Robin Bergenthum
,
Joachim Schick
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory.
PNSE @ Petri Nets
(2014)