Analysis and formal verification of Finite State Machine from WinCC OA

Detalles Bibliográficos
Autor principal: Schiavi, Francesca Cecilia
Lenguaje:eng
Publicado: 2016
Materias:
CERN openlab Summer Student programme 2016
Acceso en línea:http://cds.cern.ch/record/2208529

Internet

http://cds.cern.ch/record/2208529

Ejemplares similares