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 |
