Requirements Elaboration using  Model Checking and Inductive  Learning

dc.contributor.author	Dalal Alrajeh
dc.date	2009
dc.date	2013-10-17 20:26:16.460
dc.date.accessioned	2022-05-28T16:38:15Z
dc.date.available	2022-05-28T16:38:15Z
dc.degree.department	PHD
dc.identifier.other	15050
dc.identifier.uri	https://drepo.sdl.edu.sa/handle/20.500.14154/36004
dc.publisher	Saudi Digital Library
dc.title	Requirements Elaboration using Model Checking and Inductive Learning
dc.type	Thesis
sdl.thesis.level	Doctoral
sdl.thesis.source	SACM - United Kingdom

Collections