Kohei Sakurai

2008
2	EE	Kohei Sakurai, Péter Bokor, Neeraj Suri: Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. HASE 2008: 261-270
1	EE	Masanori Sakakibara, Kohei Sakurai, Seiichi Komiya: An Assertion Mechanism for Software Unit Testing to Remain Unaffected by Program Modification - The Mechanism to Eliminate Dependency from/to Unnecessary Object. JCKBSE 2008: 125-134

Coauthor Index

1	Péter Bokor	[2]
2	Seiichi Komiya	[1]
3	Masanori Sakakibara	[1]
4	Neeraj Suri	[2]

Colors in the list of coauthors