Supporting design and development of safety critical applications by model based tools

TitleSupporting design and development of safety critical applications by model based tools
Publication TypeJournal Article
Year of Publication2009
AuthorsPintér, G., Micskei, Z., and Majzik, I.
JournalANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA
Volume30
Pagination61 - 78
Date Published2009
ISBN Number0138-9491
URLhttp://mycite.omikk.bme.hu/doc/81029.pdf