Forced simulation : a formal approach to component based development of embedded systems /

Description

Thesis (Ph. D.)--University of New South Wales, 2000. / Addenda sheet inserted. Includes bibliographic references. Also available online.

Links & Downloads

1. http://www.library.unsw.edu.au/~thesis/adt-NUN/public/adt-NUN20041122.105323/index.html

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/223265476
Date	January 2000
Creators	Roop, Parthasarathi.
Source Sets	OCLC
Language	English
Detected Language	English