1. Adelaide Research & Scholarship
  2. Theses
  3. Research Theses
Please use this identifier to cite or link to this item: https://hdl.handle.net/2440/22046
Full metadata record
DC FieldValueLanguage
dc.contributor.authorJin, Yanen
dc.date.issued2004en
dc.identifier.urihttp://hdl.handle.net/2440/22046-
dc.description"January 2004"en
dc.descriptionBibliography: leaves 183-198.en
dc.descriptionxv, 198 leaves : ill. ; 30 cm.en
dc.description.abstractAs no single specification or verification method is able to solve all classes of problems, especially with industrial-sized applications, a diversity of modelling languages and analysis techniques specialised and optimized for various domains is needed, along with the ability to use them in combination. The work presented in this thesis has concentrated on developing techniques to support the use of a combination of modelling languages, especially visual languages, for system specification. Also, in order to tackle the main obstacles of model checking and make it more accessible to and usable by practising engineers, this work has focused on providing lightweight but effective methods and tools to alleviate the state space explosion problem in model checking.en
dc.format.extent102296 bytesen
dc.format.mimetypeapplication/pdfen
dc.language.isoenen
dc.subject.lcshHeterogeneous computing.en
dc.subject.lcshComputer systems Verification.en
dc.titleCompositional verification of component-based heterogeneous systems / Yan Jin.en
dc.typeThesisen
dc.contributor.schoolSchool of Computer Scienceen
dc.provenanceThis electronic version is made publicly available by the University of Adelaide in accordance with its open access policy for student theses. Copyright in this thesis remains with the author. This thesis may incorporate third party material which has been used by the author pursuant to Fair Dealing exception. If you are the author of this thesis and do not wish it to be made publicly available or If you are the owner of any included third party copyright material you wish to be removed from this electronic version, please complete the take down form located at: http://www.adelaide.edu.au/legalsen
dc.description.dissertationThesis (Ph.D.)--University of Adelaide, School of Computer Science, 2004en
Appears in Collections:Research Theses

Files in This Item:
File Description SizeFormat 
01front.pdf 99.9 kBAdobe PDFView/Open
02whole.pdf10.66 MBAdobe PDFView/Open
Show simple item record


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