Jan Olaf Blech

1. On Formal Reasoning on the Semantics of PLC using Coq
   2013/01/14 by Jan Olaf Blech, Blech, Jan Olaf, Sidi Ould Biha +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Petri Nets in System Modeling #Programming Languages (cs.PL) #Software Engineering (cs.SE)
2. BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems
   2014/04/14 by Jan Olaf Blech, Heinz Schmidt, Blech, Jan Olaf +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Robotic Path Planning Algorithms #Software Engineering (cs.SE)