Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Model-based vs. Code-based Verification for Critical Systems: A Tutorial

Models 2008 tutorial. 2008

Erscheinungsjahr: 2008

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Website
GeprüftBibliothek

Autoren

Jürjens, Jan (Autor)

Verknüpfte Personen

Jan Jürjens

Beteiligte Einrichtungen

Logo Institut für Softwaretechnik
Logo Institut für Informatik