Hiroki Takamura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2006–2014
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ISSRE | Describing Software Specification by Combining SysML with the B Method. | Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi |
| 2013 | ISSRE | International standardization of Open Systems Dependability. | Hiroki Takamura |
| 2006 | AiML | The variety of modal FL | Hiroki Takamura |