|
1 |
Verification of programmable logic controller code using model checking and static analysis Biallas, Sebastian. - Aachen : Shaker Verlag, 2016
|
|
|
2 |
A fault tolerance technique for field-programmable logic arrays Zipf, Peter. - Berlin : Mensch-und-Buch-Verl., 2003
|
|
|
3 |
Software verification for programmable logic controllers Huuck, Ralf, 2003
|
|
|
4 |
A logic of actions and its application to the development of programmable controllers Simon, Carlo. - Koblenz : Fölbach, 2001
|
|
|
5 |
Safety licensable programmable logic control Śnieżek, Marek, 1998
|
|