10 search results - page 1 / 2 » apn 2001 |
88
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
87
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
67
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
64
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
107
Voted
APN
2001
Springer
15 years 4 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...