Login / Signup
Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach.
Fujun Wang
Zining Cao
Lixing Tan
Zhen Li
Published in:
CoRR (2020)
Keyphrases
</>
hybrid systems
process algebra
formal specification
formal methods
discrete event
soft computing
neural network
model checking
web services composition
simulation model
data model
artificial intelligence
formal languages
concurrent systems
real time
meta learning
expert systems
communication protocols