Monografie
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
- Language
-
Deutsch
- Notes
-
München, Techn. Univ., Diss., 2000
- Identifier
-
962068810
Subject
Petri-Netz ; Entfaltung ; Verteiltes System ; Nebenläufigkeit ; Zustandsraum ; Hochschulschrift; Online-Publikation
Contributor
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:55 PM CET
Object type
- Monografie
Associated
Other Objects (12)
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Informations- und prozeßorientierte Modellierung verteilter Systeme auf der Basis von Feature-Structure-Netzen
Asynchrones Constraintlösen : ein generisches Ausführungsmodell zur adaptiven, inkrementellen Constraintverarbeitung
Grundlagen strukturierten Spezifizierens mit höheren Netzen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Entwicklung verteilter Softwaresysteme : Integration von Verteilung, Nebenläufigkeit und Persistenz
Lectures on concurrency and Petri nets : advances in petri nets
Prozess-Infrastruktur für Agentenanwendungen
Symbolische LTL-Verifikation von Petrinetzen
Matrizen- und zustandsraumreduzierende Verfahren zur Leistungsbewertung großer stochastischer Petrinetze
Sprachbasierte Konstruktion sicherer Systeme
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Informations- und prozeßorientierte Modellierung verteilter Systeme auf der Basis von Feature-Structure-Netzen
Asynchrones Constraintlösen : ein generisches Ausführungsmodell zur adaptiven, inkrementellen Constraintverarbeitung
Grundlagen strukturierten Spezifizierens mit höheren Netzen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Entwicklung verteilter Softwaresysteme : Integration von Verteilung, Nebenläufigkeit und Persistenz
Lectures on concurrency and Petri nets : advances in petri nets
Prozess-Infrastruktur für Agentenanwendungen
Symbolische LTL-Verifikation von Petrinetzen
Matrizen- und zustandsraumreduzierende Verfahren zur Leistungsbewertung großer stochastischer Petrinetze
Sprachbasierte Konstruktion sicherer Systeme
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Informations- und prozeßorientierte Modellierung verteilter Systeme auf der Basis von Feature-Structure-Netzen
Asynchrones Constraintlösen : ein generisches Ausführungsmodell zur adaptiven, inkrementellen Constraintverarbeitung
Grundlagen strukturierten Spezifizierens mit höheren Netzen
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Entwicklung verteilter Softwaresysteme : Integration von Verteilung, Nebenläufigkeit und Persistenz
Lectures on concurrency and Petri nets : advances in petri nets
Prozess-Infrastruktur für Agentenanwendungen
Symbolische LTL-Verifikation von Petrinetzen
Matrizen- und zustandsraumreduzierende Verfahren zur Leistungsbewertung großer stochastischer Petrinetze