Monografie
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
- Sprache
-
Deutsch
- Anmerkungen
-
München, Techn. Univ., Diss., 2000
- Identifier
-
962068810
- Thema
-
Petri-Netz ; Entfaltung ; Verteiltes System ; Nebenläufigkeit ; Zustandsraum ; Hochschulschrift; Online-Publikation
- 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)
Automatische Verifikation stochastischer Systeme
Formale Verifikation digitaler Systeme mit Petrinetzen
Grundlagen der Logistik : Theorie und Praxis logistischer Systeme
Grundlagen der Logistik : Theorie und Praxis logistischer Systeme
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Deductive verification: from theory to practice = Deduktive Verifikation: von der Theorie in die Praxis
Risikomanagement : Grundlagen, Theorie, Praxis
Journalistische Praxis: digitale Recherche : Verifikation und Fact Checking
Grundlagen der Logistik : Einführung in Theorie und Praxis logistischer Systeme
Automatische Verifikation stochastischer Systeme
Formale Verifikation digitaler Systeme mit Petrinetzen
Grundlagen der Logistik : Theorie und Praxis logistischer Systeme
Grundlagen der Logistik : Theorie und Praxis logistischer Systeme
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Deductive verification: from theory to practice = Deduktive Verifikation: von der Theorie in die Praxis
Risikomanagement : Grundlagen, Theorie, Praxis
Journalistische Praxis: digitale Recherche : Verifikation und Fact Checking
Grundlagen der Logistik : Einführung in Theorie und Praxis logistischer Systeme
Automatische Verifikation stochastischer Systeme
Formale Verifikation digitaler Systeme mit Petrinetzen
Grundlagen der Logistik : Theorie und Praxis logistischer Systeme
Grundlagen der Logistik : Theorie und Praxis logistischer Systeme
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
Modell-basierte Verifikation von vernetzten mechatronischen Systemen
Deductive verification: from theory to practice = Deduktive Verifikation: von der Theorie in die Praxis
Risikomanagement : Grundlagen, Theorie, Praxis
Journalistische Praxis: digitale Recherche : Verifikation und Fact Checking