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

Cím és alcím: Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems
Szerző: Majzik, István; G Horányi
Megjelenés ideje: 2011
Kiadó: TUT Press
Nyelv: en
Egyéb azonosítók: MTMT: 2675600; Scopus: 84869788708
A cikket/könyvrészletet tartalmazó dokumentum címe: 12th Symposium on Programming Languages and Software Tools
ISBN, e-ISBN: 978-9949-23-178-2
Dokumentumtípus: könyvrészlet
Műfaj: konferenciaközlemény