Auflistung Nach Schlagwort "Verifikation" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-4 von 4

«
»

Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme

Padberg, Julia; Schlaefer, Alexander; Schupp, Sibylle
209-210
Bericht vom 42. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 42)

Pietschker, Andrej
1-2
Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking

Klamroth,Jonas; Scheerer, Max; Denninger, Oliver
1825-1830
Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen

Drave, Imke; Henrich, Timo; Hölldobler, Katrin; Kautz, Oliver; Michael, Judith; Rumpe, Bernhard
173-188

Anzeige der Dokumente 1-4 von 4

«
»