Login / Signup
Towards Security-Explicit Formal Modelling of Safety-Critical Systems.
Elena Troubitsyna
Linas Laibinis
Inna Pereverzeva
Tuomas Kuismin
Dubravka Ilic
Timo Latvala
Published in:
SAFECOMP (2016)
Keyphrases
</>
safety critical
formal methods
embedded systems
safety analysis
fault tolerant
distributed systems
agent architecture
expert systems
real time
management system
nuclear power plant
regulatory requirements
artificial intelligence
cooperative
intelligent systems