Title | ||
---|---|---|
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-642-54862-8_22 | TACAS |
Field | DocType | Citations |
Epistemic modal logic,Formal design,Temporal logic of actions,Fault detection and identification,Interval temporal logic,Computer science,Fault detection and isolation,Multimodal logic,Theoretical computer science,Critical pair | Conference | 7 |
PageRank | References | Authors |
0.51 | 11 | 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 |