Sign in
A Predictable Servant-Based Execution Model for Safety-Critical Systems.
Bo Wan
Xi Li
Bo Zhang
Kaiqi Zhou
Haizhao Luo
Chao Wang
Xianglan Chen
Xuehai Zhou
Published in:
ISPA/IUCC (2017)
Keyphrases
</>
safety critical
execution model
safety analysis
formal methods
fault tolerant
distributed systems
agent architecture
embedded systems
support systems
databases
data management
learning systems
database
deductive databases
active rules