A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability.

Jin Cui Zhenhua Duan Cong Tian Hongwei Du

Published in: IEEE Trans. Reliab. (2018)

Keyphrases

real time systems
high reliability
real time
high precision
low cost
embedded systems
low overhead
real time database systems
artificial intelligence
real time embedded
machine learning
modeling language
mission critical
distributed systems
timing constraints
architectural model