Olivera Pavlovic

According to our database1, Olivera Pavlovic
  • authored at least 2 papers between 2007 and 2010.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Model Checking PLC Software Written in Function Block Diagram.
Proceedings of the Third International Conference on Software Testing, 2010

2007
Automation of Formal Verification of PLC Programs Written in IL.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007


  Loading...