Year | Venue | Keywords |
---|---|---|
2013 | AAAI (Late-Breaking Developments) | model checking,fdi |
Field | DocType | Citations |
Aerospace,Model checking,Software engineering,Fault detection and identification,Computer science,Simulation,Artificial intelligence,Machine learning | Conference | 1 |
PageRank | References | Authors |
0.38 | 5 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marco Bozzano | 1 | 743 | 49.82 |
Alessandro Cimatti | 2 | 5064 | 323.15 |
Marco Gario | 3 | 48 | 6.11 |
Stefano Tonetta | 4 | 573 | 41.61 |