Sign in
Software-Based Control Flow Checking Against Transient Faults in Industrial Environments.
Seyyed Amir Asghari
Hassan Taheri
Hossein Pedram
Okyay Kaynak
Published in:
IEEE Trans. Ind. Informatics (2014)
Keyphrases
</>
control flow
data flow
software testing
process model
test cases
steady state
workflow management systems
business process models
fault diagnosis
reactive systems
software development
modeling language
transition systems
database
formal semantics
fault detection
feature space
multi agent