Login / Signup
A Testbed for Trusted Telecommunications Systems in a Safety Critical Environment.
Ian Oliver
Aapo Kalliola
Silke Holtmanns
Yoan Miche
Gabriela Limonta
Borger Vigmostad
Kiti Müller
Published in:
SAFECOMP Workshops (2018)
Keyphrases
</>
safety critical
formal methods
fault tolerant
support systems
safety analysis
embedded systems
agent architecture
real time
regulatory requirements
expert systems
artificial intelligence
computing environments
software engineering
case based reasoning
management system
multi agent
information systems