Search for persons
X
?
2022 IEEE 31st International Symposium on Industrial Electronics (ISIE) ,
1
Using Formal Methods to Specify Data-Driven Cyber-Physical ..:
, In:
?
Advances in Bioinformatics and Computational Biology; Lecture Notes in Computer Science ,
2