| |
| 1998 | ||
|---|---|---|
| 2 | EE | Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. ICECCS 1998: 100-114 |
| 1 | EE | Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: Applying SOFL to Specify A Railway Crossing Controller for Industry. WIFT 1998: 16-27 |
| 1 | Kiyotoshi Komaya | [1] [2] |
| 2 | Shaoying Liu | [1] [2] |
| 3 | Yasuaki Nakamura | [1] [2] |