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

View/ Open
Metadata
Show full item recordCollections
- 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