Modelling software fault management with runtime verification
-
Published:2015
Issue:1
Volume:20
Page:26
-
ISSN:1743-8225
-
Container-title:International Journal of Ad Hoc and Ubiquitous Computing
-
language:en
-
Short-container-title:IJAHUC
Author:
Zhang Xingjun,Yang Yan,Wang Endong,You Ilsun,Dong Xiaoshe
Publisher
Inderscience Publishers
Subject
Computer Networks and Communications,Hardware and Architecture,Software