Application Model Verification for Distributed (Time Triggered) Systems

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

Aktivität: Vortrag ohne Tagungsband / VorlesungPräsentation auf einer wissenschaftlichen Konferenz / Workshop

Zeitraum18 Sept. 200720 Sept. 2007
EreignistitelDECOS-Workshop on SAFECOMP 2007
VeranstaltungstypSonstiges
BekanntheitsgradInternational

Research Field

  • Nicht definiert