Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-319-19458-5_1 | Formal Methods for Industrial Critical Systems |
Field | DocType | Citations |
Life-critical system,Software engineering,Computer science,Theoretical computer science,Software,High-level programming language,Proof obligation,Formal verification,Safety property | Conference | 2 |
PageRank | References | Authors |
0.37 | 6 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marielle Petit-Doche | 1 | 2 | 0.37 |
Nicolas Breton | 2 | 2 | 0.37 |
Roméo Courbis | 3 | 18 | 2.02 |
Yoann Fonteneau | 4 | 2 | 0.37 |
Matthias Güdemann | 5 | 128 | 11.15 |