Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • Konferenciák gyűjteményei
  • BME MIT PhD Minisymposium
  • BME MIT PhD Minisymposium, 2016, 23rd
  • View Item
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • Konferenciák gyűjteményei
  • BME MIT PhD Minisymposium
  • BME MIT PhD Minisymposium, 2016, 23rd
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Generic Representation of PLC Programming Languages for Formal Verification

Thumbnail
View/Open
Proceedings of the 23rd PhD Mini-Symposium - 001 (418.5Kb)
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/15115
Collections
  • BME MIT PhD Minisymposium, 2016, 23rd [12]
Title
Generic Representation of PLC Programming Languages for Formal Verification
Author
Darvas, Dániel
Majzik, István
Blanco Viñuela, Enrique
Date of issue
2016
Access level
Open access
Copyright owner
Budapest University of Technology and Economics
Conference title
23rd PhD Mini-Symposium
Conference place
Online
Conference date
February 8-9, 2016
Language
en
Page
6 - 9
Version
Published
Identifiers
DOI: https://doi.org/10.5281/zenodo.51064
Title of the container document
Proceedings of the 23rd PhD Mini-Symposium
ISBN, e-ISBN
ISBN 978-963-313-220-3
Document type
könyvfejezet
Document genre
Konferenciacikk
Subject area
Műszaki tudományok
Field
Informatikai tudományok
University
Budapest University of Technology and Economics
Department
Department of Measurement and Information Systems

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Content by
Theme by 
Atmire NV
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback

Content by
DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV