Hochschulschrift
Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826578458
3826578457
- Dimensions
-
21 cm
- Extent
-
III, 102 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Dortmund, Univ., Diss., 2000
- Bibliographic citation
-
Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik der Universität Dortmund / Universität Dortmund ; Bd. 2000,4
- Keyword
-
Verfahrenstechnik
Kontinuierliches System
Steuerungssystem
Korrektheit
Zustandsgraph
Automat
- 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, 2:26 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
- Preußig, Jörg
- Shaker
Time of origin
- 2000
Other Objects (12)
Lernen von Automaten und Entscheidungsdiagrammen
Ein Verfahren zur objektorientierten Modellierung der Produktionsplanung und -steuerung, Buch.
Simulation im Straßenverkehr mit zellulären Automaten
Komplexität bei Graph Grammatiken und Graph Automaten
Demontageplanung und -steuerung : Planung und Steuerung industrieller Demontageprozesse mit PPS-Systemen
Steuerung roboterintegrierter flexibler Fertigungszellen
Formale Verifikation von MOS-Transistorschaltungen
Lernen und denken Sie auch so? : Mensch und Automat
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Formal concept analysis and algebraic geometry
Formal specifications with higher order parameterization
Rough Set theory und αβγ-Automaten [alpha-beta-gamma-Automaten] : eine Formalisierung qualitativer Aspekte des Lernens und Handelns bei der Regelung komplexer Systeme
Lernen von Automaten und Entscheidungsdiagrammen
Ein Verfahren zur objektorientierten Modellierung der Produktionsplanung und -steuerung, Buch.
Simulation im Straßenverkehr mit zellulären Automaten
Komplexität bei Graph Grammatiken und Graph Automaten
Demontageplanung und -steuerung : Planung und Steuerung industrieller Demontageprozesse mit PPS-Systemen
Steuerung roboterintegrierter flexibler Fertigungszellen
Formale Verifikation von MOS-Transistorschaltungen
Lernen und denken Sie auch so? : Mensch und Automat
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Formal concept analysis and algebraic geometry
Formal specifications with higher order parameterization
Rough Set theory und αβγ-Automaten [alpha-beta-gamma-Automaten] : eine Formalisierung qualitativer Aspekte des Lernens und Handelns bei der Regelung komplexer Systeme
Lernen von Automaten und Entscheidungsdiagrammen
Ein Verfahren zur objektorientierten Modellierung der Produktionsplanung und -steuerung, Buch.
Simulation im Straßenverkehr mit zellulären Automaten
Komplexität bei Graph Grammatiken und Graph Automaten
Demontageplanung und -steuerung : Planung und Steuerung industrieller Demontageprozesse mit PPS-Systemen
Steuerung roboterintegrierter flexibler Fertigungszellen
Formale Verifikation von MOS-Transistorschaltungen
Lernen und denken Sie auch so? : Mensch und Automat
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Formal concept analysis and algebraic geometry
Formal specifications with higher order parameterization