Year | Venue | Keywords |
---|---|---|
2012 | Infotech@Aerospace | state space,adaptive system,adaptive systems,performance,intelligent systems,software systems,verification |
Field | DocType | Citations |
Functional verification,Intelligent decision support system,Intelligent verification,Computer science,Runtime verification,Real-time computing,Software system,Verification,High-level verification,Reliability engineering,Software verification | Conference | 0 |
PageRank | References | Authors |
0.34 | 1 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Laura L. Pullum | 1 | 7 | 4.74 |
xiaohui cui | 2 | 0 | 0.34 |
Emil Vassev | 3 | 263 | 41.81 |
Mike Hinchey | 4 | 494 | 51.89 |
Christopher A. Rouff | 5 | 409 | 50.08 |
Richard Buskens | 6 | 39 | 5.70 |