selected publications

• conference paper

  • Verification of behavioral compatibility in the Virtual Integration methodology.  . 2010