Elaborating Requirements Using Model Checking and Inductive Learning

Simple item page
dc.contributor.authorAlrajeh, Dalal
dc.contributor.authorKramer, Jeff
dc.contributor.authorRusso, Alessandra
dc.date.accessioned2022-02-13T10:51:54Z
dc.date.available2022-02-13T10:51:54Z
dc.date.issued2013
dc.description361-383 p. ; 2.007 ko.en_US
dc.identifier.issn0098-5589
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/8928
dc.language.isoenen_US
dc.publisherInstitute of electrical and electronics engineersen_US
dc.subjectProcessus d’ingénierie des exigences (RE)en_US
dc.subjectElaboration des exigencesen_US
dc.subjectApprentissage inductifen_US
dc.titleElaborating Requirements Using Model Checking and Inductive Learningen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
nl3066.pdf
Size:
1.96 MB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Articles Électroniques