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

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