| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 3 |      | Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, Shin Nakajima: Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. SoMeT 2010: 383-397 |
| 2009 | ||
| 2 | | Shaoying Liu, Kazuhiro Takahashi, Toshinori Hayashi, Toshihiro Nakayama: Teaching formal methods in the context of software engineering. SIGCSE Bulletin 41(2): 17-23 (2009) |
| 1996 | ||
| 1 | | Toshinori Hayashi, Yuzuru Tanaka: Image Features Based on a Mixed Fractal Model and Evaluation of Their Effectiveness in Image Retrieval. MVA 1996: 127-130 |
| 1 | Koichiro Kimura | [3] |
| 2 | Shaoying Liu | [2] [3] |
| 3 | Shin Nakajima | [3] |
| 4 | Toshihiro Nakayama | [2] [3] |
| 5 | Kazuhiro Takahashi | [2] [3] |
| 6 | Yuzuru Tanaka | [1] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page