Name
Year | DOI | Venue |
|---|---|---|
2011 | 10.1504/IJITCC.2011.039285 | IJITCC |
Keywords | Field | DocType |
model checking,embedded systems,embedded software,formal verification,static analysis,binary code | Embedded software,Model checking,Computer science,Software,Microcontroller,Software verification and validation,System model,Embedded system,Software verification,Formal verification | Journal |
Volume | Issue | Citations |
1 | 2 | 3 |
PageRank | References | Authors |
0.46 | 0 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Thomas Reinbacher | 1 | 70 | 7.21 |
| Martin Horauer | 2 | 64 | 13.46 |
| Bastian Schlich | 3 | 214 | 17.98 |
| Jörg Brauer | 4 | 219 | 19.33 |
| Florian Scheuer | 5 | 23 | 3.23 |