Formal analysis for dependability properties: the time-triggered architecture example Conference Paper uri icon

publication date

  • November 14, 2002

published in

  •   Geographic Location