|
1 |
Verification of programmable logic controller code using model checking and static analysis Biallas, Sebastian. - Aachen : Shaker Verlag, 2016
|
|
|
2 |
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices Czerwinski, Robert. - Berlin : Springer Berlin, 2015, Aufl. 2013
|
Verlagsinformation
|
|
3 |
Finite state machine logic synthesis for complex programmable logic devices Czerwinski, Robert. - Berlin : Springer, 2013
|
|
|
4 |
PLC basic course with SIMATIC S7 Kaftan, Jürgen. - Würzburg : Vogel, 2011, 1. ed.
|
|
|
5 |
Field programmable logic and application Berlin : Springer, 2004
|
|
|
6 |
A fault tolerance technique for field-programmable logic arrays Zipf, Peter. - Berlin : Mensch-und-Buch-Verl., 2003
|
|
|
7 |
Field programmable logic and applications Berlin : Springer, 2003
|
|
|
8 |
Software verification for programmable logic controllers Huuck, Ralf, 2003
|
|
|
9 |
Field programmable logic and applications Berlin : Springer, 2002
|
|
|
10 |
A logic of actions and its application to the development of programmable controllers Simon, Carlo. - Koblenz : Fölbach, 2001
|
|