Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems
Cím | Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems |
Közlemény típusa | Conference Paper |
Kiadás éve | 2007 |
Szerzők | Balogh, A., Pataricza, A., Csertán, G., and Polgár, B. |
Szerkesztő | Attila, V. K., József, V., and Ladislav, S. |
Konferencia neve | Proceedings of Regional Conference on Embedded and Ambient Systems |
Kiadás dátuma | 2007 |
Kiadó | Neumann János Számítógép-tudományi Társaság |
Konferencia helyszíne | Budapest |