Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.4230/OASIcs.WCET.2014.11 | WCET |
Keywords | Field | DocType |
formal verification | Programming language,Embedded software,Computer science,Parallel computing,Real-time computing,Compiler,Software,Formal methods,Formal verification | Conference |
Citations | PageRank | References |
2 | 0.36 | 0 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| André Maroneze | 1 | 24 | 1.86 |
| Sandrine Blazy | 2 | 338 | 27.40 |
| david pichardie | 3 | 488 | 33.73 |
| Isabelle Puaut | 4 | 1708 | 89.84 |