Formal verification of railway interlocking system based on ladder logic

Autor:	Zhongwei Xu, Lizhen Yu, Zuxi Chen, Shuqing Zhang
Rok vydání:	2013
Předmět:	Computer science Programming language Ladder logic computer.software_genre computer Formal verification Interlocking
Zdroj:	Journal of Computer Applications. 33:3419-3422
ISSN:	1001-9081
DOI:	10.3724/sp.j.1087.2013.03419
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b16e6928d24755b55453ef2c483b3e42 https://doi.org/10.3724/sp.j.1087.2013.03419 Zobrazit plný text záznamu