KIT | KIT-Bibliothek | Impressum

EaSyVaDe: validation of system design by behavioural simulation

Tanurhan, Yankin; Gerlich, R.; Schaffer, C.; Debus, V.



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Englisch
Identifikator KITopen ID: 197494
Erscheinungsvermerk In: 3rd Workshop on Simulators for European Space Programmes, ESA-ESTEC, Nordwijk, NL 1994. Nordwijk, NL : ESTEC Conf. Bureau 1994. S. 11.3.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page