Hochschulschrift | Online-Publikation
Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Deutsch
- Notes
-
München, Techn. Univ., Diss., 2000
- Keyword
-
Petri-Netz
Entfaltung
Verteiltes System
Nebenläufigkeit
Zustandsraum
- Creator
- URN
-
urn:nbn:de:bvb:91-diss2000060916595
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 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
- Online-Publikation
Associated
Other Objects (12)
Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken
Experimentelle Verifikation eines Simulationssystems für eine GASSCREW
Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Design und Verifikation der ersten digitalen kommerziellen Luftbildkamera (ADS)
Elektromagnetische Schirmung : Theorie und Praxisbeispiele
Definition, Teilimplementation und Verifikation eines vollautomatischen Vermittlungssystems für den Personentransport
Echtzeitsysteme : Grundlagen der Planung
Werkstoffkunde für Ingenieure : Grundlagen, Anwendung, Prüfung
Schalarbeiten : technologische Grundlagen, Sichtbeton, Systemauswahl, Ablaufplanung, Logistik und Kalkulation
Zuverlässigkeit mechatronischer Systeme : Grundlagen und Bewertung in frühen Entwicklungsphasen
Zur Wirtschaftsverfassung der Europäischen Union : Grundlagen, Entwicklung und Perspektiven
Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken
Experimentelle Verifikation eines Simulationssystems für eine GASSCREW
Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Design und Verifikation der ersten digitalen kommerziellen Luftbildkamera (ADS)
Elektromagnetische Schirmung : Theorie und Praxisbeispiele
Definition, Teilimplementation und Verifikation eines vollautomatischen Vermittlungssystems für den Personentransport
Echtzeitsysteme : Grundlagen der Planung
Werkstoffkunde für Ingenieure : Grundlagen, Anwendung, Prüfung
Schalarbeiten : technologische Grundlagen, Sichtbeton, Systemauswahl, Ablaufplanung, Logistik und Kalkulation
Zuverlässigkeit mechatronischer Systeme : Grundlagen und Bewertung in frühen Entwicklungsphasen
Zur Wirtschaftsverfassung der Europäischen Union : Grundlagen, Entwicklung und Perspektiven
Verifikation und Validierung für die Simulation in Produktion und Logistik : Vorgehensmodelle und Techniken
Experimentelle Verifikation eines Simulationssystems für eine GASSCREW
Entwurf einer Beschreibungssprache zur Verifikation digitaler Signaturen
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
Design und Verifikation der ersten digitalen kommerziellen Luftbildkamera (ADS)
Elektromagnetische Schirmung : Theorie und Praxisbeispiele
Definition, Teilimplementation und Verifikation eines vollautomatischen Vermittlungssystems für den Personentransport
Echtzeitsysteme : Grundlagen der Planung
Werkstoffkunde für Ingenieure : Grundlagen, Anwendung, Prüfung
Schalarbeiten : technologische Grundlagen, Sichtbeton, Systemauswahl, Ablaufplanung, Logistik und Kalkulation
Zuverlässigkeit mechatronischer Systeme : Grundlagen und Bewertung in frühen Entwicklungsphasen