Author:
Lindgren Per,Lindner Marcus,Pereira David,Pinho Luis Miguel
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal verification of observers supervising a cyber-physical system implemented using IEC 61499;2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE);2023-06-19
2. The Azores;World Seas: an Environmental Evaluation;2019