| Residential College | false |
| Status | 已發表Published |
| Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs | |
| Savi Mi1; Judi Romijn2; Carron Shankland1 | |
| 2003 | |
| Source Publication | Formal Aspects of Computing
 |
| ISSN | 0934-5043 |
| Volume | 15Issue:1Pages:84-99 |
| Abstract | We introduce a comparative case study on the application of formal methods and techniques to the Tree Identify Protocol of the IEEE standard 1394 serial multimedia bus. The Tree Identify Protocol makes an ideal subject for this purpose because it is small yet complex, and may be modelled in a variety of ways. We provide an informal explanation of the protocol, describe how the case study was conducted, and give an overview of the results. |
| Keyword | Comparative Case Study Ieee Standard Formal Methods Firewire |
| DOI | 10.1007/s001650300001 |
| Language | 英語English |
| Fulltext Access | |
| Citation statistics | |
| Document Type | Journal article |
| Collection | Faculty of Science and Technology |
| Affiliation | 1.Department of Computing Science and Mathematics, University of Stirling, Stirling, UKGB 2.Department of Computing, University of Nijmegen, Nijmegen, The NetherlandsNL |
| Recommended Citation GB/T 7714 | Savi Mi,Judi Romijn,Carron Shankland. Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs[J]. Formal Aspects of Computing, 2003, 15(1), 84-99. |
| APA | Savi Mi., Judi Romijn., & Carron Shankland (2003). Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs. Formal Aspects of Computing, 15(1), 84-99. |
| MLA | Savi Mi,et al."Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs".Formal Aspects of Computing 15.1(2003):84-99. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment