共 23 条
[1]
Alshalalfah A.-L., Mohamed O. A., Ouchani S., A framework for modeling and analyzing cyber-physical systems using statistical model checking, Internet of Things, 22, (2023)
[2]
Arcile J., Devillers R., Klaudel H., VERIFCAR: a framework for modeling and model checking communicating autonomous vehicles, Autonomous Agents and Multi-Agent Systems, 33, pp. 353-381, (2019)
[3]
Baier C., Katoen J.-P., Principles of model checking, (2008)
[4]
Bensalem S., Bozga M., Sifakis J., Nguyen T.-H., Compositional verification for component-based systems and application, International Symposium on Automated Technology for Verification and Analysis, (2008)
[5]
EN 50128 Railway applications – communication, signalling and processing systems – software for railway control protection systems, (2011)
[6]
EN 50129 Railway applications – communication, signaling and processing systems – safety related electronic systems for signaling, (2018)
[7]
EN 50126-1 Railway applications – the specification and demonstration of reliability, availability, maintainability and safety (rams) – part 1: generic RAMS process, (2017)
[8]
EN 50126-2 Railway applications – the specification and demonstration of reliability, availability, maintainability and safety (rams) – part 2: systems approach to safety, (2017)
[9]
Chatterjee K., Doyen L., Computation tree logic for synchronization properties, International Colloquium on Automata, Languages, and Programing (ICALP 2016), (2016)
[10]
Cimatti A., Clarke E., Giunchiglia E., Giunchiglia F., Pistore M., Roveri M., Sebastiani R., Tacchella A., NuSMV 2: an OpenSource tool for symbolic model checking, International Conference on Computer Aided Verification, pp. 359-364, (2002)