10 search results - page 1 / 2 » apn 2001 |
145
Voted
APN
2001
Springer
15 years 10 months ago
2001
Springer
110
Voted
APN
2001
Springer
15 years 10 months ago
2001
Springer
106
Voted
APN
2001
Springer
15 years 10 months ago
2001
Springer
162
click to vote
APN
2001
Springer
15 years 10 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...