Year | Venue | Keywords |
---|---|---|
2002 | CAV | component-based real-time systems,validation environment,distributed application,intermediate representation,static analysis,asynchronous system,intermediate language,programming language,real time systems,front end,complex system,real time |
Field | DocType | ISBN |
Asynchronous communication,Model checking,Asynchronous system,Computer science,Toolbox,Static analysis,Algorithm,Real-time computing,Real-time operating system,Compiler,Component-based software engineering | Conference | 3-540-43997-8 |
Citations | PageRank | References |
67 | 2.77 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marius Bozga | 1 | 2100 | 127.83 |
Susanne Graf | 2 | 400 | 24.11 |
Laurent Mounier | 3 | 1187 | 79.54 |