Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 1

Conference/Workshop Paper (1)

Verification and Controller Synthesis for Resource-Constrained Real-Time Systems: Case Study of an Autonomous Truck (Sep 2010)
Shuhao Li, Paul Pettersson
Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation

Items per page:
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
Apr 2024
Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning