MEMOCODE 2003 ACM/IEEE International Conference on Formal Methods and Models for Co-Design
 |  |
Wall of Fame | Most Viewed MEMOCODE-2003 Paper
MEMOCODE
2003
IEEE
14 years 4 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website.
Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
| Id | Read | Views | Title | Status |
|---|---|---|---|---|
| 1 |  | 168 | ||
| 2 | | 157 | ||
| 3 | | 144 | ||
| 4 | | 134 | ||
| 5 | | 99 | ||
| 6 | | 98 | ||
| 7 | | 90 | ||
| 8 | | 79 |