共 50 条
- [31] Unsafe Impedance Safe Languages and Safe by Design Software PROCEEDINGS OF THE 23RD ACM SIGPLAN INTERNATIONAL WORKSHOP ON ERLANG, ERLANG 2024, 2024, : 76 - 83
- [34] Safe CPS from Unsafe Controllers PROCEEDINGS OF 2021 WORKSHOP ON COMPUTATION-AWARE ALGORITHMIC DESIGN FOR CYBER-PHYSICAL SYSTEMS (CAADCPS), 2021, : 26 - 28
- [37] Modeling safe and unsafe driving behaviour ACCIDENT ANALYSIS AND PREVENTION, 2008, 40 (02): : 644 - 656