Supporting design and development of safety critical applications by model based tools
Title | Supporting design and development of safety critical applications by model based tools |
Publication Type | Journal Article |
Year of Publication | 2009 |
Authors | Pintér, G., Micskei, Z., and Majzik, I. |
Journal | ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA |
Volume | 30 |
Pagination | 61 - 78 |
Date Published | 2009 |
ISBN Number | 0138-9491 |
URL | http://mycite.omikk.bme.hu/doc/81029.pdf |