Verification of customizable blockchain consensus rule using a formal method
- Ryo Kawahara
- 2020
- ICBC 2020
Publications
Date
Featured collections
Popular topics
4 results for Ryo Kawahara
Coarse-grained simulation method for performance evaluation a of shared memory system
- Ryo Kawahara
- Kenta Nakamura
- et al.
- 2011
- ASP-DAC 2011
Verification of embedded system's specification using collaborative simulation of SysML and simulink models
- Ryo Kawahara
- Hiroaki Nakamura
- et al.
- 2009
- MBSE 2009
A modeling method for performance evaluation of embedded software by eliminating execution traces
- Kouichi Ono
- Ryo Kawahara
- et al.
- 2011
- Computer Software