[DimitrovaGMBH20]
Conformance-Based Doping Detection for Cyber-Physical Systems
In Formal Techniques for Distributed Objects, Components, and Systems
- 40th IFIP WG 6.1 International Conference, FORTE 2020, Held
as Part of the 15th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
2020, Proceedings, pages 59-77, Springer, Lecture Notes in Computer Science 12136, 2020.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-50086-3_4