Modelling High Integrity Transport Systems by Formal Methods
Cai, Hao, Zhang, Chengdian, Wu, Weihang, Ho, Tin-kin, Zhang, ZaimingVolume:
138
Language:
english
Journal:
Procedia - Social and Behavioral Sciences
DOI:
10.1016/j.sbspro.2014.07.249
Date:
July, 2014
File:
PDF, 434 KB
english, 2014