|
1 |
Investigating security issues in programmable logic controllers and related protocols
Alsabbagh, Wael. - Cottbus : BTU Cottbus - Senftenberg, 2024
|
|
|
|
2 |
Verification of programmable logic controller code using model checking and static analysis
Biallas, Sebastian. - Aachen : Universitätsbibliothek der RWTH Aachen, 2016
|
|
|
3 |
Verification of programmable logic controller code using model checking and static analysis
Biallas, Sebastian. - Aachen : Shaker Verlag, 2016
|
|
|
|
4 |
Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
Biallas, Sebastian. - Aachen : Shaker, 2016, 1. Auflage
|
|
|
|
5 |
Formale Verifikation von Software für speicherprogrammierbare Steuerungen mittels Model Checking
Pavlović, Olivera. - Braunschweig : Technische Universität Braunschweig, 2009
|
|
|
|
6 |
A fault tolerance technique for field-programmable logic arrays
Zipf, Peter. - Berlin : Mensch-und-Buch-Verl., 2003
|
|
|
|
7 |
Software verification for programmable logic controllers
Huuck, Ralf, 2003
|
|
|
|
8 |
Software verification for programmable logic controllers
Huuck, Ralf, 2003
|
|
|
|
9 |
A logic of actions and its application to the development of programmable controllers
Simon, Carlo. - Koblenz : Fölbach, 2001
|
|
|
|
10 |
Safety licensable programmable logic control
Śnieżek, Marek, 1998
|
|
Administration
