Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 1

Conference/Workshop Paper (1)

Verifying Event-Based Timing Constraints by Translation into Presburger Formulae (Sep 2017)
Björn Lisper
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS'17)

Items per page:
Apr 2024
Exploring API behaviours through generated examples
Apr 2024
Towards Adopting a Digital Twin Framework (ISO 23247) for Battery Systems
Apr 2024
Context Factors Perceived Important when Looking for Similar Experiences in Decision–Making for Software Components – An Interview Study
Apr 2024
An Extension of the Rasmussen Socio-technical System for Continuous Safety Assurance
Apr 2024
Safety of the Intended Functionality: What about Mental Harm?
Apr 2024
Experiences and Challenges from Developing Cyber-Physical Systems in Industry-Academia Collaboration