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
-
25.03.2025, 1:51 PM CET
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
Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Formale Verifikation von MOS-Transistorschaltungen
Methodik zur Analyse und Verifikation von Steuerungskomponenten flexibler Fertigungssysteme auf Basis modifizierter PETRI-Netze
Formale Analyse und Verifikation von Programmen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Ansätze zur formalen Verifikation analoger Schaltungen
Petri-Netze
Petri-Netze
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Formale Verifikation von MOS-Transistorschaltungen
Methodik zur Analyse und Verifikation von Steuerungskomponenten flexibler Fertigungssysteme auf Basis modifizierter PETRI-Netze
Formale Analyse und Verifikation von Programmen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Ansätze zur formalen Verifikation analoger Schaltungen
Petri-Netze
Petri-Netze
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Formale Verifikation von MOS-Transistorschaltungen
Methodik zur Analyse und Verifikation von Steuerungskomponenten flexibler Fertigungssysteme auf Basis modifizierter PETRI-Netze
Formale Analyse und Verifikation von Programmen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Ansätze zur formalen Verifikation analoger Schaltungen
Petri-Netze
Petri-Netze