Generic Representation of PLC Programming Languages for Formal Verification

CímGeneric Representation of PLC Programming Languages for Formal Verification
Közlemény típusaConference Paper
Kiadás éve2016
SzerzőkDarvas, D., Majzik, I., and Blanco Viñuela, E.
Konferencia neveProceedings of the 23rd PhD Mini-Symposium
KiadóBudapest University of Technology and Economics, Department of Measurement and Information Systems
ISBN-szám978-963-313-220-3
DOI10.5281/zenodo.51064
Refereed DesignationRefereed
PDF: 
application/pdf iconFull text

Nyelvek

  • English
  • Magyar

Belépés

Navigáció