Login / Signup
Modelling software fault management with runtime verification.
Xingjun Zhang
Yan Yang
Endong Wang
Ilsun You
Xiaoshe Dong
Published in:
Int. J. Ad Hoc Ubiquitous Comput. (2015)
Keyphrases
</>
fault management
computer systems
network management
fault tolerance
source code
model checking
database
software development
knowledge based systems
electronic commerce
software systems
formal methods
data mining