Integration of Structured Review and Model-based Verification: a Case Study

3932/Aredo_-_Integration_of_Structured_Review_and_Model-based_V.pdf

Aredo, Demissie; Traoré, Issa; Yanguo, M. Liu; Ye, Hong

August 01, 2004

DART

• Filename: 3932/Aredo_-_Integration_of_Structured_Review_and_Model-based_V.pdf
• Target groups:
• Areas: Software Engineering
• Keywords: Structured reviews, Formal methods, Verification & Validation (V&V), Model-based Verification
• Page(s): 36
• Name and number of project:
• Title: Integration of Structured Review and Model-based Verification: a Case Study
• Author(s): Aredo, Demissie; Traoré, Issa; Yanguo, M. Liu; Ye, Hong
• ISBN: 82-539-0509-2
• Report number: 1001
• Published date: August 01, 2004
• URL: http://publications.nr.no/3932/Aredo_-_Integration_of_Structured_Review_and_Model-based_V.pdf
• DOI: