What's New in SYCL for Safety Critical Systems.

Erik Tomusk Verena Beckham

Published in: IWOCL (2023)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
embedded systems
management system
agent architecture
real time
machine learning
support systems
information systems
software engineering
open source
distributed systems
learning systems