| 1998 | ||
|---|---|---|
| 2 | 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 | Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura: Applying SOFL to Specify A Railway Crossing Controller for Industry. WIFT 1998: 16-27 | |
| 1 | Masashi Asuka | [1] [2] |
| 2 | Shaoying Liu | [1] [2] |
| 3 | Yasuaki Nakamura | [1] [2] |