Application Model Verification for Distributed (Time Triggered) Systems

  • Schlick, R. (Author)
  • Wolfgang Herzner (Author)
  • Alain Le Guennec (Author)
  • Bruno Martin (Author)

Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

Period18 Sept 2007 → 20 Sept 2007
Event titleDECOS-Workshop on SAFECOMP 2007
Event typeOther
Degree of RecognitionInternational

Research Field

  • Not defined