Automatische Code-Erzeugung zur numerischen Integration partieller Differentialgleichungen für sicherheitskritische Anwendungen

Zugl.: Bochum, Univ., Diss., 2004

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Vollmer, Michael (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Göttingen Cuvillier 2004
Ausgabe:	1. Aufl
Schlagworte:	Hochschulschrift > Sicherheitskritisches System > Hyperbolisches System > Numerische Integration > Wellendigitalfilter > Codegenerierung > Formale Spezifikationstechnik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!