Applying SOFL to Specify A Railway Crossing Controller for Industry

Boca Raton, Florida October 20-October 23

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766294

Second IEEE Workshop on Industrial St ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Shaoying Liu Articles by Masashi Asuka Articles by Kiyotoshi Komaya Articles by Yasuaki Nakamura

	ASCII Text	x
	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.

	BibTex	x
	@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}, }

	RefWorks Procite/RefMan/Endnote	x
	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 -

Index Terms:

Safety-critical systems, formal engineering methods, functional requirements, safety requirements, formal speci_cation, railway crossing controller.

Citation:

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.