Hochschulschrift
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783946552376
- Umfang
-
XIX, 211 Seiten
- Sprache
-
Deutsch
- Anmerkungen
-
Illustrationen, Diagramme
Eberhard Karls Universität Tübingen, Dissertation, 2020
- Klassifikation
-
Informatik
- Schlagwort
-
Software
Verifikation
Testen
Korrektheit
Objektorientierung
Software ; Verifikation ; Testen ; Korrektheit ; Objektorientierung
- Ereignis
-
Veröffentlichung
- (wo)
-
Tübingen
- (wer)
-
Tübingen Library Publishing
- (wann)
-
2020
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:51 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
- Eberhard Karls Universität Tübingen
- Tübingen Library Publishing
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