File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

postgraduate thesis: Towards a new extension relation for compositional test case generation for CSP concurrent processes

TitleTowards a new extension relation for compositional test case generation for CSP concurrent processes
Authors
Issue Date2003
PublisherThe University of Hong Kong (Pokfulam, Hong Kong)
Citation
Chan, W. [陳榮光]. (2003). Towards a new extension relation for compositional test case generation for CSP concurrent processes. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3124518
DegreeDoctor of Philosophy
SubjectComputer software - Testing.
Parallel processing (Electronic computers)
Dept/ProgramComputer Science and Information Systems

 

DC FieldValueLanguage
dc.contributor.authorChan, Wing-kwong.-
dc.contributor.author陳榮光.-
dc.date.issued2003-
dc.identifier.citationChan, W. [陳榮光]. (2003). Towards a new extension relation for compositional test case generation for CSP concurrent processes. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3124518-
dc.languageeng-
dc.publisherThe University of Hong Kong (Pokfulam, Hong Kong)-
dc.relation.ispartofHKU Theses Online (HKUTO)-
dc.rightsThe author retains all proprietary rights, (such as patent rights) and the right to use in future works.-
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.source.urihttp://hub.hku.hk/bib/B31245183-
dc.subject.lcshComputer software - Testing.-
dc.subject.lcshParallel processing (Electronic computers)-
dc.titleTowards a new extension relation for compositional test case generation for CSP concurrent processes-
dc.typePG_Thesis-
dc.identifier.hkulb3124518-
dc.description.thesisnameDoctor of Philosophy-
dc.description.thesislevelDoctoral-
dc.description.thesisdisciplineComputer Science and Information Systems-
dc.description.naturepublished_or_final_version-
dc.identifier.doi10.5353/th_b3124518-
dc.date.hkucongregation2004-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats