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