Integration of Structured Review and Model-based Verification: a Case Study Demissie Aredo Issa Traoré M. Liu Yanguo Hong Ye Publikasjonsdetaljer Utgiver: Norsk Regnesentral Internasjonale standardnumre: Trykt: 82-539-0509-2 Lenke: FULLTEKST: http://publications.nr.no/3932/Aredo_-_Integration_of_Structured_Review_and_Model-based_V.pdf Du er her: Hjem Publikasjoner Rapport Integration of Structured Review and Model-based Verification: a Case Study