Valsoft : Abschlußbericht

Software validation, program slicing, constrained solving, measurement system, path condition

Bibliographic Details
Other Involved Persons: Selting, G. ; Grottker, U. ; Goldapp, M.
Format: eBook
Language:German
Published: Braunschweig : Universitätsbibliothek u. Technische Informationsbibliothek 1998
Edition:[Electronic ed.]
Series:Informatik-Berichte / Technische Universität Braunschweig 97-07
Item Description:Contract no. BMBF 01 IS 513 A-C/3
Differences between the printed and electronic version of the document are possible. - Bibliographic datas partially researched
Physical Description:Online-Ressource 20 p. = 465 kB, text
Subjects:
Further Information:https://edocs.tib.eu/files/e001/239950054.pdf
https://edocs.tib.eu/files/e001/239950054l.pdf
QR Code: Show QR Code