System verification

Volden, Espen; Koren, Hans; Tortes, Carlos Marti; Economou, Giannis

October 01, 1999

SAMBA

• Published date: October 01, 1999
• Conference: ENVISYS, Deliverable D4.2
• Page(s):
• Name and number of project:
• Title: System verification
• Author(s): Volden, Espen; Koren, Hans; Tortes, Carlos Marti; Economou, Giannis
• Report number: