Name
Year | DOI | Venue |
|---|---|---|
1993 | 10.1109/REAL.1993.393519 | REAL-TIME SYSTEMS SYMPOSIUM: PROCEEDINGS |
Keywords | Field | DocType |
computational modeling,software component,systems engineering,error correction,systems analysis,formal method,model checking,programming,real time systems,software engineering,formal specification,formal methods,real time,satisfiability | Programming language,Computer science,Systems analysis,Real-time computing,Formal specification,Component-based software engineering,Formal methods | Conference |
Citations | PageRank | References |
30 | 1.89 | 5 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Paul Clements | 1 | 1511 | 283.79 |
| Constance L. Heitmeyer | 2 | 898 | 151.71 |
| Bruce G. Labaw | 3 | 632 | 47.44 |
| A. T. Rose | 4 | 30 | 1.89 |