James Bret Michael, Doron Drusinsky, Duminda Wijesekera. Formal Methods in Cyberphysical Systems. IEEE Computer, 54(9):25-29, 2021. [doi]
@article{MichaelDW21a,
title = {Formal Methods in Cyberphysical Systems},
author = {James Bret Michael and Doron Drusinsky and Duminda Wijesekera},
year = {2021},
doi = {10.1109/MC.2021.3089267},
url = {https://doi.org/10.1109/MC.2021.3089267},
researchr = {https://researchr.org/publication/MichaelDW21a},
cites = {0},
citedby = {0},
journal = {IEEE Computer},
volume = {54},
number = {9},
pages = {25-29},
}