Hochschulschrift
Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826578458
3826578457
- Maße
-
21 cm
- Umfang
-
III, 102 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Dortmund, Univ., Diss., 2000
- Erschienen in
-
Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik der Universität Dortmund / Universität Dortmund ; Bd. 2000,4
- Schlagwort
-
Verfahrenstechnik
Kontinuierliches System
Steuerungssystem
Korrektheit
Zustandsgraph
Automat
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:26 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
- Preußig, Jörg
- Shaker
Entstanden
- 2000
Ähnliche Objekte (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