Conformance relations and hyperproperties for doping detection in time and space

Biewer, S., Dimitrova, R., Fries, M. et al. (4 more authors) (2022) Conformance relations and hyperproperties for doping detection in time and space. Logical Methods in Computer Science, 18 (1). 14. ISSN 1860-5974

Abstract

Metadata

Item Type: Article
Authors/Creators:
  • Biewer, S.
  • Dimitrova, R.
  • Fries, M.
  • Gazda, M.
  • Heinze, T.
  • Hermanns, H.
  • Mousavi, M.R.
Copyright, Publisher and Additional Information:

© 2022 S. Biewer, R. Dimitrova, M. Fries, M. Gazda, T. Heinze, H. Hermanns, and M. R. Mousavi. This work is licensed under the Creative Commons Attribution License. (http://creativecommons.org/licenses/by/4.0)

Keywords: Software Doping; Conformance Testing; Hybrid Systems
Dates:
  • Published: 19 January 2022
  • Published (online): 19 January 2022
  • Accepted: 3 November 2021
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: 07 Feb 2022 13:24
Last Modified: 07 Feb 2022 13:24
Status: Published
Publisher: Centre pour la Communication Scientifique Directe (CCSD)
Refereed: Yes
Identification Number: 10.46298/lmcs-18(1:14)2022
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics