Model-driven development and analysis of high assurance systems

Description

Thesis (Ph. D.)--Michigan State University. Dept. of Computer Science, 2006. / Title from PDF t.p. (viewed on Nov. 20, 2008) Includes bibliographical references (p. 408-425). Also issued in print.

Links & Downloads

1. http://p2047-ezproxy.msu.edu.ezproxy1.ats.msu.edu/login?url= http://proquest.umi.com/pqdweb?did=1268617841&sid=26&Fmt=2&clientId=3552&RQT=309&VName=PQD

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/276284043
Date	January 2006
Creators	Konrad, Sascha J.
Source Sets	OCLC
Language	English
Detected Language	English
Type	Electronic dissertations.
Source	Connect to online resource - MSU authorized users