C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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