Conformance-based doping detection for cyber-physical systems

Dimitrova, R., Gazda, M., Mousavi, M.R. et al. (2 more authors) (2020) Conformance-based doping detection for cyber-physical systems. In: Gotsman, A. and Sokolova, A., (eds.) Formal Techniques for Distributed Objects, Components, and Systems. 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, 15-19 Jun 2020, Valletta, Malta. Lecture Notes in Computer Science (12136). Springer International Publishing , pp. 59-77. ISBN 9783030500856

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Dimitrova, R.
  • Gazda, M.
  • Mousavi, M.R.
  • Biewer, S.
  • Hermanns, H.
Editors:
  • Gotsman, A.
  • Sokolova, A.
Copyright, Publisher and Additional Information:

© 2020 The Author(s). This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
Dates:
  • Published (online): 8 June 2020
  • Published: 8 June 2020
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 18 Jun 2020 13:54
Last Modified: 18 Jun 2020 13:54
Status: Published
Publisher: Springer International Publishing
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-030-50086-3_4
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)