Műegyetemi Digitális Archivum
    • magyar
    • English
  • English 
    • magyar
    • English
  • Login
View Item 
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
  •   DSpace Home
  • 1. Tudományos közlemények, publikációk
  • BME PA dokumentumai
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems

Thumbnail
View/Open
121354.pdf (236.0Kb)
Metadata
Show full item record
URI
http://hdl.handle.net/10890/4500
Collections
  • BME PA dokumentumai [3731]
Title
Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems
Author
Majzik, István
G Horányi
Date of issue
2011
Publisher
TUT Press
Language
en
Identifiers
MTMT: 2675600
Scopus: 84869788708
Title of the container document
12th Symposium on Programming Languages and Software Tools
ISBN, e-ISBN
978-9949-23-178-2
Document type
könyvrészlet
Document genre
konferenciaközlemény

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