Return to search

Formal analysis of component adaptation techniques

Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: formal analysis; active interfaces; Z notations; EJ. Includes bibliographical references (p. 97-99).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/50036936
Date January 2002
CreatorsKanetkar, Kavita Vijay.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceLink to electronic thesis.

Page generated in 0.0018 seconds