Verification of embedded system's specification using collaborative simulation of SysML and simulink models
- Ryo Kawahara
- Hiroaki Nakamura
- et al.
- 2009
- MBSE 2009
Publications
Date
Featured collections
Popular topics
3 results for Hiroaki Nakamura
Incremental computation of complex object queries
- Hiroaki Nakamura
- 2001
- OOPSLA 2001
A dynamic verification method of executable UML/SysML models with timed-functional constraints
- Kouichi Ono
- Hiroaki Nakamura
- et al.
- 2010
- Computer Software