Strengthening Real-Time Analysis by Evolving Counterexamples

Bishop, L. and Soares Indrusiak, L. orcid.org/0000-0002-9938-2920 (2024) Strengthening Real-Time Analysis by Evolving Counterexamples. In: Proceedings. 3rd International Workshop on Explainability of Real-time Systems and their Analysis at the IEEE Real-Time Systems Symposium, 10 Dec 2024, York, UK. CMU

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Accepted: 7 October 2024
  • Published: 10 December 2024
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 09 May 2025 12:39
Last Modified: 09 May 2025 12:39
Published Version: https://www.andrew.cmu.edu/user/banderss/events/wo...
Status: Published
Publisher: CMU
Open Archives Initiative ID (OAI ID):

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics


CORE (COnnecting REpositories)