Hochschulschrift
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Anmerkungen
-
Ilmenau, Techn. Univ., Diss., 2004
- Klassifikation
-
Informatik
- Schlagwort
-
Eingebettetes System
Echtzeitsystem
Verteiltes System
UML
Verifikation
Petri-Netz
Eingebettetes System
Verteiltes Echtzeitsystem
Softwareentwicklung
Gefärbtes Petri-Netz
Systementwurf
- Urheber
- URN
-
urn:nbn:de:gbv:ilm1-2004000102
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:36 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
Ähnliche Objekte (12)
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Interaktionen in einem objektorientierten Modell zur dynamischen Systemsimulation von Funkzugangsnetzen
Ein Vorschlag zur objektorientierten Modellierung einer dynamischen Systemspezifikation (OOM-DSS)
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Formale Verifikation von MOS-Transistorschaltungen
Dynamische Modellierung des Lichtbogenofenverfahrens mit objektorientierten Beschreibungsansätzen
Dynamisches Informationsmodell zum Aufbau eines objektorientierten Instandhaltungsmanagements
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
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Interaktionen in einem objektorientierten Modell zur dynamischen Systemsimulation von Funkzugangsnetzen
Ein Vorschlag zur objektorientierten Modellierung einer dynamischen Systemspezifikation (OOM-DSS)
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Formale Verifikation von MOS-Transistorschaltungen
Dynamische Modellierung des Lichtbogenofenverfahrens mit objektorientierten Beschreibungsansätzen
Dynamisches Informationsmodell zum Aufbau eines objektorientierten Instandhaltungsmanagements
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
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Interaktionen in einem objektorientierten Modell zur dynamischen Systemsimulation von Funkzugangsnetzen
Ein Vorschlag zur objektorientierten Modellierung einer dynamischen Systemspezifikation (OOM-DSS)
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Formale Verifikation von MOS-Transistorschaltungen
Dynamische Modellierung des Lichtbogenofenverfahrens mit objektorientierten Beschreibungsansätzen
Dynamisches Informationsmodell zum Aufbau eines objektorientierten Instandhaltungsmanagements
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Analyse und Verifikation von Programmen
Ansätze zur formalen Verifikation analoger Schaltungen