Intelligent Safety Verification for Pipeline Based on EVALPSN.

Kazumi Nakamatsu Kenji Kawasumi Atsuyuki Suzuki

Published in: LAPTEC (2005)

Keyphrases

model checking
databases
decision support
logic programs
asynchronous circuits
data mining
formal methods
formal analysis
discrete event
concurrent systems
safety analysis
multiscale
decision support system
computer vision
database
adaptive systems
traffic accidents