Hochschulschrift
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Tübingen, Universität Tübingen, Dissertation, 2020
- Schlagwort
-
Testen
Software ; Verifikation ; Testen ; Korrektheit ; Objektorientierung
Software
Verifikation
Testen
Korrektheit
Objektorientierung
- Ereignis
-
Veröffentlichung
- (wo)
-
Tübingen
- (wer)
-
Universitätsbibliothek Tübingen
- (wann)
-
2020
- Urheber
- URN
-
urn:nbn:de:bsz:21-dspace-1012425
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Huster, Stefan
- Universitätsbibliothek Tübingen
Entstanden
- 2020
Ähnliche Objekte (12)
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Patternbasierte Verifikation objektorientierter Modelle : Methodik, Semantik und Verfahren
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Formale Verifikation von MOS-Transistorschaltungen
Objekt-orientierter Systementwurf für diskrete dynamische Systeme
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Analyse und Verifikation von Programmen
Ansätze zur formalen Verifikation analoger Schaltungen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Formale Verifikation digitaler Systeme mit Petrinetzen
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Patternbasierte Verifikation objektorientierter Modelle : Methodik, Semantik und Verfahren
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Formale Verifikation von MOS-Transistorschaltungen
Objekt-orientierter Systementwurf für diskrete dynamische Systeme
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Analyse und Verifikation von Programmen
Ansätze zur formalen Verifikation analoger Schaltungen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Formale Verifikation digitaler Systeme mit Petrinetzen
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Patternbasierte Verifikation objektorientierter Modelle : Methodik, Semantik und Verfahren
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Formale Verifikation von MOS-Transistorschaltungen
Objekt-orientierter Systementwurf für diskrete dynamische Systeme
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Analyse und Verifikation von Programmen
Ansätze zur formalen Verifikation analoger Schaltungen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen