Modelling High Integrity Transport Systems by Formal Methods
| Autor: | Cai, Hao, Zhang, Chengdian, Wu, Weihang, Ho, Tin-kin, Zhang, Zaiming |
|---|---|
| Zdroj: | In Procedia - Social and Behavioral Sciences 14 July 2014 138:729-737 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|