Name
Title | ||
|---|---|---|
Proving equivalence between control software variants for Programmable Logic Controllers |
Year | Venue | Field |
|---|---|---|
2015 | Emerging Technologies and Factory Automation | Static program analysis,Programming language,Computer science,Software system,Real-time computing,Software verification and validation,Software quality,Software construction,Software framework,Software development,Software verification |
DocType | Citations | PageRank |
Conference | 1 | 0.37 |
References | Authors | |
4 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sebastian Ulewicz | 1 | 28 | 5.61 |
| Vogel-Heuser, B. | 2 | 521 | 125.47 |
| Mattias Ulbrich | 3 | 183 | 17.83 |
| Alexander Weigl | 4 | 11 | 4.22 |
| Bernhard Beckert | 5 | 862 | 86.50 |