Name
Title | ||
|---|---|---|
Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. |
Year | Venue | DocType |
|---|---|---|
2016 | NIK | Conference |
Citations | PageRank | References |
1 | 0.34 | 0 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jingyue Li | 1 | 370 | 29.42 |
| Altin Qeriqi | 2 | 1 | 0.34 |
| Martin Steffen | 3 | 122 | 10.32 |
| Ingrid Chieh Yu | 4 | 164 | 18.53 |