Fundamental studies on a decompositional and hybrid approach to automatic verification of component-based systems

Description

Thesis (Ph.D. in computer science)--Washington State University, August 2005. / Includes bibliographical references.

Links & Downloads

1. http://www.dissertations.wsu.edu/Dissertations/Summer2005/g%5Fxie%5F072205.pdf

Tags

Component software. Computer programs

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/61323334
Date	January 2005
Creators	Xie, Gaoyan,
Source Sets	OCLC
Language	English
Detected Language	English
Source	Online access for everyone