Supporting design and development of safety critical applications by model based tools
Date
Type
folyóiratcikk
ISSN, e-ISSN
0138-9491
Periodical Volume
30
Container Title
ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA
Gender
szakcikk