Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems
Title | Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems |
Publication Type | Conference Paper |
Year of Publication | 2007 |
Authors | Balogh, A., Pataricza, A., Csertán, G., and Polgár, B. |
Editor | Attila, V. K., József, V., and Ladislav, S. |
Conference Name | Proceedings of Regional Conference on Embedded and Ambient Systems |
Date Published | 2007 |
Publisher | Neumann János Számítógép-tudományi Társaság |
Conference Location | Budapest |