10 search results - page 1 / 2 » apn 2001 |
97
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
94
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
71
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
66
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
114
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...