Hochschulschrift
Consistency based process diagnosis based on the variant connection graph proof procedure and Petri nets
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183645084
3183645084
- Maße
-
21 cm
- Umfang
-
VIII, 123 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Wuppertal, Univ., Diss.
- Erschienen in
-
Fortschritt-Berichte VDI / Verein Deutscher Ingenieure ; Nr. 645, Reihe 08
- Schlagwort
-
Diskretes Ereignissystem
Fehlererkennung
Petri-Netz
Prädikatenlogik
Deduktionssystem
Codegenerierung
- Ereignis
-
Veröffentlichung
- (wo)
-
Düsseldorf
- (wer)
-
VDI-Verl.
- (wann)
-
1997
- Urheber
-
Wang, Yu
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:53 MESZ
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
- Hochschulschrift
Beteiligte
- Wang, Yu
- VDI-Verl.
Entstanden
- 1997
Ähnliche Objekte (12)
Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures
Complementary Proof Nets for Classical Logic
Proof Presentation Based on Proof Plans
Verifying Visibility-Based Weak Consistency
Time based expressivity of timed Petri nets
Model checking with logic based petri nets
Discrete Isothermic Nets Based on Checkerboard Patterns
Consistency and robustness of kernel based regression
Consistency and robustness of kernel based regression
Intelligent deep reinforcement learning-based scheduling in relay-based HetNets
Extensional Gödel functional interpretation : a consistency proof of classical analysis
Linear logic based calculi for object Petri nets
Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures
Complementary Proof Nets for Classical Logic
Proof Presentation Based on Proof Plans
Verifying Visibility-Based Weak Consistency
Time based expressivity of timed Petri nets
Model checking with logic based petri nets
Discrete Isothermic Nets Based on Checkerboard Patterns
Consistency and robustness of kernel based regression
Consistency and robustness of kernel based regression
Intelligent deep reinforcement learning-based scheduling in relay-based HetNets
Extensional Gödel functional interpretation : a consistency proof of classical analysis
Linear logic based calculi for object Petri nets
Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures
Complementary Proof Nets for Classical Logic
Proof Presentation Based on Proof Plans
Verifying Visibility-Based Weak Consistency
Time based expressivity of timed Petri nets
Model checking with logic based petri nets
Discrete Isothermic Nets Based on Checkerboard Patterns
Consistency and robustness of kernel based regression
Consistency and robustness of kernel based regression
Intelligent deep reinforcement learning-based scheduling in relay-based HetNets
Extensional Gödel functional interpretation : a consistency proof of classical analysis