1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Journal Articles
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/10693
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMaharaj, Savien_UK
dc.contributor.authorRomijn, Judien_UK
dc.contributor.authorShankland, Carronen_UK
dc.date.accessioned2016-01-19T00:49:42Z-
dc.date.available2016-01-19T00:49:42Z-
dc.date.issued2003-04en_UK
dc.identifier.urihttp://hdl.handle.net/1893/10693-
dc.description.abstractWe 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.en_UK
dc.language.isoenen_UK
dc.publisherSpringeren_UK
dc.relationMaharaj S, Romijn J & Shankland C (2003) IEEE 1394 Tree Identify Protocol: Introduction to the case study. Formal Aspects of Computing, 14 (3), pp. 200-214. https://doi.org/10.1007/s001650300001en_UK
dc.rightsPublisher policy allows this work to be made available in this repository; published in Formal Aspects of Computing, April 2003, Volume 14, Issue 3, pp 200-214 by Springer. DOI: 10.1007/s001650300001. The original publication is available at www.springerlink.comen_UK
dc.subjectComparative case studyen_UK
dc.subjectFireWireen_UK
dc.subjectFormal methodsen_UK
dc.subjectIEEE standarden_UK
dc.titleIEEE 1394 Tree Identify Protocol: Introduction to the case studyen_UK
dc.typeJournal Articleen_UK
dc.identifier.doi10.1007/s001650300001en_UK
dc.citation.jtitleFormal Aspects of Computingen_UK
dc.citation.issn1433-299Xen_UK
dc.citation.issn0934-5043en_UK
dc.citation.volume14en_UK
dc.citation.issue3en_UK
dc.citation.spage200en_UK
dc.citation.epage214en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.author.emailces1@stir.ac.uken_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.contributor.affiliationRadboud University Nijmegenen_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.identifier.scopusid2-s2.0-0037737940en_UK
dc.identifier.wtid899277en_UK
dc.contributor.orcid0000-0002-0674-6044en_UK
dc.contributor.orcid0000-0001-7672-2884en_UK
dcterms.dateAccepted2003-04-30en_UK
dc.date.filedepositdate2013-01-23en_UK
rioxxterms.typeJournal Article/Reviewen_UK
rioxxterms.versionAMen_UK
local.rioxx.authorMaharaj, Savi|0000-0002-0674-6044en_UK
local.rioxx.authorRomijn, Judi|en_UK
local.rioxx.authorShankland, Carron|0000-0001-7672-2884en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.freetoreaddate2013-01-23en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2013-01-23|en_UK
local.rioxx.filenameFAC03.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source0934-5043en_UK
Appears in Collections:Computing Science and Mathematics Journal Articles

Files in This Item:
File Description SizeFormat 
FAC03.pdfFulltext - Accepted Version14.76 MBAdobe PDFView/Open


This item is protected by original copyright

View License
Show simple item record


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

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.