Modularity in design : formal modeling and automated analysis

Autor:	Cai, Yuanfang.
Jazyk:	angličtina
Rok vydání:	2006
Popis:	Thesis (Ph. D.)--University of Virginia, 2006. Includes bibliographical references. Also available online through Digital Dissertations.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://wwwlib.umi.com/dissertations/fullcit/3225953 Zobrazit plný text záznamu