Funktionale Abdeckungsanalyse von C-Programmen - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aljoscha Windhorst, Hoang M. Le, Daniel Große, Rolf Drechsler. Funktionale Abdeckungsanalyse von C-Programmen. In Jürgen Ruf, Dirk Allmendinger, Matteo Michel, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. pages 201-204, Cuvillier, 2014.

This author has not been identified. Look up 'Aljoscha Windhorst' in GoogleThis author has not been identified. Look up 'Hoang M. Le' in GoogleThis author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL