Login / Signup
Kiyotoshi Komaya
Publication Activity (10 Years)
Years Active: 1998-2000
Publications (10 Years): 0
</>
Publications
</>
Takuji Maeda
,
Kiyotoshi Komaya
Revised design calculations of elevator systems.
SMC
(2000)
Shaoying Liu
,
Masashi Asuka
,
Kiyotoshi Komaya
,
Yasuaki Nakamura
An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.
ICECCS
(1998)
Shaoying Liu
,
Masashi Asuka
,
Kiyotoshi Komaya
,
Yasuaki Nakamura
Applying SOFL to Specify A Railway Crossing Controller for Industry.
WIFT
(1998)