Hochschulschrift
Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832207472
3832207473
- Dimensions
-
21 cm
- Extent
-
XIII, 175 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Dortmund, Univ., Diss., 2002
- Bibliographic citation
-
Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik der Universität Dortmund / Universität Dortmund ; Bd. 2002,2
- Keyword
-
Verfahrenstechnik
Prozesssteuerung
Softwareentwicklung
Formale Spezifikationstechnik
Verifikation
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.03.2025, 12:04 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
Associated
- Treseler, Heinz
- Shaker
Time of origin
- 2002
Other Objects (12)
Ansätze zur formalen Verifikation analoger Schaltungen
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Die formalen Stufen
![[Fehlersuche in formalen Spezifikationen]](/assets/placeholder/searchResultMediaUnknown.png)
[Fehlersuche in formalen Spezifikationen]
Die Begriffswelt des Formalen
Sinnwandel der formalen Bildung
Grundlagen der formalen Logik
Grundriss der formalen Logik
Grundlagen der formalen Logik
Syntaxfehler in formalen Sprachen
Von den formalen Stufen
Ansätze zur formalen Verifikation analoger Schaltungen
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Die formalen Stufen
[Fehlersuche in formalen Spezifikationen]
Die Begriffswelt des Formalen
Sinnwandel der formalen Bildung
Grundlagen der formalen Logik
Grundriss der formalen Logik
Grundlagen der formalen Logik
Syntaxfehler in formalen Sprachen
Von den formalen Stufen
Ansätze zur formalen Verifikation analoger Schaltungen
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Die formalen Stufen
[Fehlersuche in formalen Spezifikationen]
Die Begriffswelt des Formalen
Sinnwandel der formalen Bildung
Grundlagen der formalen Logik
Grundriss der formalen Logik
Grundlagen der formalen Logik
Syntaxfehler in formalen Sprachen