Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems
Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems
复制标题
对称性促进网络物理系统的算法证明
DOI：
10.1109/mc.2022.3190954
复制
发表时间：
2022
期刊：
影响因子：
2.2
通讯作者：
Sibai, Hussein
中科院分区：
文献类型：
--
作者：
Mitra, Sayan;Sibai, Hussein
DOI：
10.1007/978-3-030-45190-5_10
发表时间：
2020-03-13
期刊：
Tools and Algorithms for the Construction and Analysis of Systems
影响因子：
--
作者：
Sibai H;Mokhlesi N;Fan C;Mitra S
通讯作者：
Mitra S
DOI：
10.1109/emsoft.2013.6658604
发表时间：
2013-09
期刊：
2013 Proceedings of the International Conference on Embedded Software (EMSOFT)
影响因子：
--
作者：
Parasara Sridhar Duggirala;S. Mitra;Mahesh Viswanathan
通讯作者：
Parasara Sridhar Duggirala;S. Mitra;Mahesh Viswanathan