A Transformational Method for Verifying Safety Properties in Real-Time Systems.

Matthew K. Franklin Armen Gabrielian

Published in: RTSS (1989)

Keyphrases

real time systems
significant improvement
preprocessing
detection method
neural network
high accuracy
similarity measure
objective function
petri net