Hochschulschrift | Online-Publikation
Software verification for programmable logic controllers
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
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
- URN
-
urn:nbn:de:gbv:8-diss-7260
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:34 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
- Online-Publikation
Beteiligte
- Huuck, Ralf
Ähnliche Objekte (12)
Software verification for programmable logic controllers
PLCrypto: A symmetric cryptographic library 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
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
Towards runtime verification of programmable networks
Do as I Say not as I Do: Stealth Modification of Programmable Logic Controllers I/O by Pin Control Attack
Finite state machine logic synthesis for complex programmable logic devices
Software verification for programmable logic controllers
PLCrypto: A symmetric cryptographic library 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
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
Towards runtime verification of programmable networks
Do as I Say not as I Do: Stealth Modification of Programmable Logic Controllers I/O by Pin Control Attack
Finite state machine logic synthesis for complex programmable logic devices
Software verification for programmable logic controllers
PLCrypto: A symmetric cryptographic library 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
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
Towards runtime verification of programmable networks
Do as I Say not as I Do: Stealth Modification of Programmable Logic Controllers I/O by Pin Control Attack