Monografie
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
- Sprache
-
Deutsch
- Anmerkungen
-
Ilmenau, Techn. Univ., Diss., 2004
- Identifier
-
974934992
- Thema
-
Echtzeitsystem ; Verteiltes System ; UML ; Verifikation ; Petri-Netz ; Eingebettetes System; Verteiltes Echtzeitsystem; Softwareentwicklung; Gefärbtes Petri-Netz; Systementwurf; Hochschulschrift
- Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
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
- Monografie
Beteiligte
Ähnliche Objekte (12)
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Dynamische Modellierung des Lichtbogenofenverfahrens mit objektorientierten Beschreibungsansätzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Ansätze zur formalen Verifikation analoger Schaltungen
Vom dynamischen Sportler zur dynamischen Rente? : eine Zeitreise ins Jahr 2055
Entwicklung eines dynamischen Pleuelprüfstandes
Vergleiche von dynamischen Raumgeometrieprogrammen
Modellieren in dynamischen Geometriesystemen
Wharton zur dynamischen Wettbewerbsstrategie
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Dynamische Modellierung des Lichtbogenofenverfahrens mit objektorientierten Beschreibungsansätzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Ansätze zur formalen Verifikation analoger Schaltungen
Vom dynamischen Sportler zur dynamischen Rente? : eine Zeitreise ins Jahr 2055
Entwicklung eines dynamischen Pleuelprüfstandes
Vergleiche von dynamischen Raumgeometrieprogrammen
Modellieren in dynamischen Geometriesystemen
Wharton zur dynamischen Wettbewerbsstrategie
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Dynamische Modellierung des Lichtbogenofenverfahrens mit objektorientierten Beschreibungsansätzen
Formale Verifikation digitaler Systeme mit Petrinetzen
Formale Verifikation von Basistransformationen für Funktionsdarstellungen
Ansätze zur formalen Verifikation analoger Schaltungen
Vom dynamischen Sportler zur dynamischen Rente? : eine Zeitreise ins Jahr 2055
Entwicklung eines dynamischen Pleuelprüfstandes
Vergleiche von dynamischen Raumgeometrieprogrammen
Modellieren in dynamischen Geometriesystemen