Automatic transformation of abstract AUTOSAR architectures to timed automata Conference Paper uri icon

publication date

  • September 30, 2012

published in

  •   Geographic Location