- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
188 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Kiel, Univ., Diss., 2003
- Klassifikation
-
Informatik
Ingenieurwissenschaften und Maschinenbau
- Schlagwort
-
Speicherprogrammierte Steuerung
Sequential Function Charts
Semantik
Verifikation
Model Checking
Speicherprogrammierte Steuerung
AWL
Semantik
Verifikation
Statische Analyse
- Urheber
-
Huuck, Ralf
- 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:40 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
- Huuck, Ralf
Ähnliche Objekte (12)
Software verification for programmable logic controllers
Investigating security issues in programmable logic controllers and related protocols
A logic of actions and its application to the development of programmable controllers
Verification of programmable logic controller code using model checking and static analysis
Verification of programmable logic controller code using model checking and static analysis
Safety licensable programmable logic control
Towards runtime verification of programmable networks
PLC basic course with SIMATIC S7 : structure and function of programmable logic controllers, programming with the SIMATIC S7
Logic synthesis for asynchronous controllers and interfaces
Finite state machine logic synthesis for complex programmable logic devices
Do as I Say not as I Do: Stealth Modification of Programmable Logic Controllers I/O by Pin Control Attack
Field programmable logic and applications : 13th international conference
Software verification for programmable logic controllers
Investigating security issues in programmable logic controllers and related protocols
A logic of actions and its application to the development of programmable controllers
Verification of programmable logic controller code using model checking and static analysis
Verification of programmable logic controller code using model checking and static analysis
Safety licensable programmable logic control
Towards runtime verification of programmable networks
PLC basic course with SIMATIC S7 : structure and function of programmable logic controllers, programming with the SIMATIC S7
Logic synthesis for asynchronous controllers and interfaces
Finite state machine logic synthesis for complex programmable logic devices
Do as I Say not as I Do: Stealth Modification of Programmable Logic Controllers I/O by Pin Control Attack
Field programmable logic and applications : 13th international conference
Software verification for programmable logic controllers
Investigating security issues in programmable logic controllers and related protocols
A logic of actions and its application to the development of programmable controllers
Verification of programmable logic controller code using model checking and static analysis
Verification of programmable logic controller code using model checking and static analysis
Safety licensable programmable logic control
Towards runtime verification of programmable networks
PLC basic course with SIMATIC S7 : structure and function of programmable logic controllers, programming with the SIMATIC S7
Logic synthesis for asynchronous controllers and interfaces
Finite state machine logic synthesis for complex programmable logic devices
Do as I Say not as I Do: Stealth Modification of Programmable Logic Controllers I/O by Pin Control Attack