TASE 2007 Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
 |  |
Wall of Fame | Most Viewed TASE-2007 Paper
TASE
2007
IEEE
14 years 5 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
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 |  | 284 | ||
| 2 | | 165 | ||
| 3 | | 132 | ||
| 4 | | 127 | ||
| 5 | | 125 | ||
| 6 | | 113 | ||
| 7 | | 108 | ||
| 8 | | 105 | ||
| 9 | | 103 | ||
| 10 | | 92 | ||
| 11 | | 90 | ||
| 12 | | 88 | ||
| 13 | | 87 | ||
| 14 | | 86 | ||
| 15 | | 86 | ||
| 16 | | 75 |