Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Verification of PLC source code using propositional logic

  • M.G. Meulen

Scriptie/Masterproef: Master

Datum prijs31 mei 2010
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1) & Roelof Hamberg (Afstudeerdocent 2)

Citeer dit

'