Sidi Ould Biha
- 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)