Name
Title | ||
|---|---|---|
A hardware/software codesign framework for developing complex embedded systems using formal model refinement |
Year | Venue | Keywords |
|---|---|---|
2004 | FDL | embedded system |
Field | DocType | Citations |
Computer architecture,Computer science,Model refinement,Real-time computing,Formal methods,Hardware software,Formal verification | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nikos S. Voros | 1 | 25 | 5.31 |
| Colin F Snook | 2 | 53 | 11.42 |
| Stefan Hallerstede | 3 | 654 | 44.88 |
| Thierry Lecomte | 4 | 24 | 4.58 |