SDL 2001 International SDL Forum
 |  |
Wall of Fame | Most Viewed SDL-2001 Paper
SDL
2001
14 years 24 days ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
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 |  | 125 | ||
| 2 | | 110 | ||
| 3 | | 101 | ||
| 4 | | 101 | ||
| 5 | | 94 | ||
| 6 | | 89 | ||
| 7 | | 78 | ||
| 8 | | 73 |