Return to search

Requirements Elaboration using Model Checking and Inductive Learning

No description available.
Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:511853
Date January 2009
CreatorsAlrajeh, Dalal S.
PublisherImperial College London
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation

Page generated in 0.013 seconds