UM  > 科技學院
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs
Savi Mi1; Judi Romijn2; Carron Shankland1
2003
Source PublicationFormal Aspects of Computing
ISSN0934-5043
Volume15Issue: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.

KeywordComparative Case Study Ieee Standard Formal Methods Firewire
DOI10.1007/s001650300001
Language英语
Fulltext Access
Citation statistics
Document TypeJournal article
CollectionFaculty of Science and Technology
Affiliation1.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.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Savi Mi]'s Articles
[Judi Romijn]'s Articles
[Carron Shankland]'s Articles
Baidu academic
Similar articles in Baidu academic
[Savi Mi]'s Articles
[Judi Romijn]'s Articles
[Carron Shankland]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Savi Mi]'s Articles
[Judi Romijn]'s Articles
[Carron Shankland]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.