Publications

Verification of embedded system's specification using collaborative simulation of SysML and simulink models

• • Ryo Kawahara
  • Hiroaki Nakamura
  • et al.
• 2009
• MBSE 2009