Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura, "Applying SOFL to Specify A Railway Crossing Controller for Industry," Industrial-Strength Formal Specification Techniques, Workshop on, pp. 16, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998.

@article{ 10.1109/WIFT.1998.766294,
author = {Shaoying Liu and Masashi Asuka and Kiyotoshi Komaya and Yasuaki Nakamura},
title = {Applying SOFL to Specify A Railway Crossing Controller for Industry},
journal ={Industrial-Strength Formal Specification Techniques, Workshop on},
volume = {0},
year = {1998},
isbn = {0-7695-0081-1},
pages = {16},
doi = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766294},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Industrial-Strength Formal Specification Techniques, Workshop on
TI - Applying SOFL to Specify A Railway Crossing Controller for Industry
SN - 0-7695-0081-1
SP
EP
A1 - Shaoying Liu,
A1 - Masashi Asuka,
A1 - Kiyotoshi Komaya,
A1 - Yasuaki Nakamura,
PY - 1998
KW - Safety-critical systems
KW - formal engineering methods
KW - functional requirements
KW - safety requirements
KW - formal speci_cation
KW - railway crossing controller.
VL - 0
JA - Industrial-Strength Formal Specification Techniques, Workshop on
ER -