• Bokmål
  • English

Sitemap

Archived publication

Archived publication

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

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:

 

For more information please search using the search box in the top right corner.

Postal address:
Norsk Regnesentral/
Norwegian Computing Center
P.O. Box 114 Blindern
NO-0314 Oslo
Norway
Visit address:
Norsk Regnesentral
Gaustadalleen 23a
Kristen Nygaards hus
NO-0373 Oslo.
Phone:
(+47) 22 85 25 00
Address How to get to NR
Social media Share on social media
Privacy policy Privacy policy
Postal address: Norsk Regnesentral/Norwegian Computing Center, P.O. Box 114 Blindern, NO-0314 Oslo, Norway
Visit address: Norsk Regnesentral, Gaustadalleen 23a, Kristen Nygaards hus, NO-0373 Oslo.
Phone: (+47) 22 85 25 00
AddressHow to get to NR