Paolo Crisafulli, Safouan Taha, Burkhart Wolff. Modeling and analysing Cyber-Physical Systems in HOL-CSP. Robotics and Autonomous Systems, 170:104549, December 2023. [doi]
@article{CrisafulliTW23,
title = {Modeling and analysing Cyber-Physical Systems in HOL-CSP},
author = {Paolo Crisafulli and Safouan Taha and Burkhart Wolff},
year = {2023},
month = {December},
doi = {10.1016/j.robot.2023.104549},
url = {https://doi.org/10.1016/j.robot.2023.104549},
researchr = {https://researchr.org/publication/CrisafulliTW23},
cites = {0},
citedby = {0},
journal = {Robotics and Autonomous Systems},
volume = {170},
pages = {104549},
}