Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems.

Stefan Kaalen Mattias Nyberg

Published in: IMBSA (2020)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
support systems
embedded systems
management system
nuclear power plant
real time
cooperative
object oriented
intelligent systems
domain independent
regulatory requirements