Symbolic Fault Injection
Paper i proceeding, 2007

Författare

Reiner Hähnle

Chalmers, Data- och informationsteknik, Datavetenskap

Daniel Larsson

Chalmers, Data- och informationsteknik, Datavetenskap

Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007

1613-0073 (ISSN)

Vol. 259 85-103

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)