C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Optimization Way of Engineering Equipment Maintenance Based on Process Algebra.
Xiaonan Zhang
Anxin Liu
Jun Yan
Bin Liu
Hongliang Liu
Qingzheng Gao
Published in:
SSME (2009)
Keyphrases
</>
process algebra
formal specification
asynchronous circuits
concurrent systems
model checking
formal methods
artificial intelligence
web services composition
concurrent programs
real time
social networks
multi agent systems
relational databases
temporal logic