Hochschulschrift
Consistency based process diagnosis based on the variant connection graph proof procedure and Petri nets
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183645084
3183645084
- Dimensions
-
21 cm
- Extent
-
VIII, 123 S.
- Edition
-
Als Ms. gedr.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Wuppertal, Univ., Diss.
- Bibliographic citation
-
Fortschritt-Berichte VDI / Verein Deutscher Ingenieure ; Nr. 645, Reihe 08
- Keyword
-
Diskretes Ereignissystem
Fehlererkennung
Petri-Netz
Prädikatenlogik
Deduktionssystem
Codegenerierung
- Event
-
Veröffentlichung
- (where)
-
Düsseldorf
- (who)
-
VDI-Verl.
- (when)
-
1997
- Creator
-
Wang, Yu
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:53 PM CEST
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
Associated
- Wang, Yu
- VDI-Verl.
Time of origin
- 1997
Other Objects (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