Hochschulschrift
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Ilmenau, Techn. Univ., Diss., 2004
- Classification
-
Informatik
- Keyword
-
Eingebettetes System
Echtzeitsystem
Verteiltes System
UML
Verifikation
Petri-Netz
Eingebettetes System
Verteiltes Echtzeitsystem
Softwareentwicklung
Gefärbtes Petri-Netz
Systementwurf
- Creator
- URN
-
urn:nbn:de:gbv:ilm1-2004000102
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (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