Login / Signup
Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols.
Shin'ichi Nagano
Hiroyuki Fujita
Yoshiaki Kakuda
Tohru Kikuno
Published in:
Asian Test Symposium (1998)
Keyphrases
</>
temporal logic
fault detection
real time
communication protocols
model checking
modal logic
fault diagnosis
neural network
genetic algorithm
industrial processes
formal specification language
temporal knowledge
transition systems
linear temporal logic