Archived publication
Archived publication
Integration of Structured Review and Model-based Verification: a Case Study
3932/Aredo_-_Integration_of_Structured_Review_and_Model-based_V.pdf
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: