Articles by Keijiro Araki (2)

Formalizing Safety Properties Preventing Collisions and Derailing in Moving Block Railway Interlocking System using VDM-SL

Nazir A. Zafar and Keijiro Araki

Asian Journal of Information Technology 3 ( 5 ): 313 - 328 , 2004

Controlled Dan/Petri Nets for Modeling Multiple and Simultaneous Control of Discrete Event Systems

Eleazar Jimenez Serrano, Keijiro Araki and Shigeru Kusakabe

Asian Journal of Information Technology 5 ( 10 ): 1117 - 1125 , 2006

Do you have a suggestion for journals

Suggest Journal