Modellbasierte Laufzeitüberprüfung vernetzter eingebetteter Systeme

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Deutsch
Anmerkungen
Augsburg, Universität Augsburg, Dissertation, 2021

Schlagwort
Automat
Laufzeit
Programmverifikation
Programmlaufzeit
Programmverifikation
Programmlaufzeit
MBSE
Automat

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2021
Urheber
Beteiligte Personen und Organisationen
Bauer, Bernhard

URN
urn:nbn:de:bvb:384-opus4-890271
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:49 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2021

Ähnliche Objekte (12)