Elaborating Requirements Using Model Checking and Inductive Learning

dc.contributor.author	Alrajeh, Dalal
dc.contributor.author	Kramer, Jeff
dc.contributor.author	Russo, Alessandra
dc.date.accessioned	2022-02-13T10:51:54Z
dc.date.available	2022-02-13T10:51:54Z
dc.date.issued	2013
dc.identifier.issn	0098-5589
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/8928
dc.description	361-383 p. ; 2.007 ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.subject	Processus d’ingénierie des exigences (RE)	en_US
dc.subject	Elaboration des exigences	en_US
dc.subject	Apprentissage inductif	en_US
dc.title	Elaborating Requirements Using Model Checking and Inductive Learning	en_US
dc.type	Article	en_US