Publikation

Model reduction techniques for the formal verification of hardware dependent software

Outline:

W. Ecker, V. Esen, R. Findenig, T. Steininger, M. Velten - Model reduction techniques for the formal verification of hardware dependent software - High Level Design Validation and Test Workshop (HLDVT) 2010, Anaheim, Vereinigte Staaten von Amerika, 2010, pp. 148-153

2010

Personen:

  • Dipl.-Ing. (FH) Rainer Leonhard Findenig

Forschungseinheiten: