selected publications

• conference paper

  • Comparative Application of Real-Time Verification Methods to an Automotive Architecture.  HAL (Le Centre pour la Communication Scientifique Directe). 2010