Login / Signup
Olivera Pavlovic
Publication Activity (10 Years)
Years Active: 2007-2010
Publications (10 Years): 0
</>
Publications
</>
Olivera Pavlovic
,
Hans-Dieter Ehrich
Model Checking PLC Software Written in Function Block Diagram.
ICST
(2010)
Olivera Pavlovic
,
Ralf Pinger
,
Maik Kollmann
Automation of Formal Verification of PLC Programs Written in IL.
VERIFY
(2007)