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:
Int. J. Softw. Eng. Knowl. Eng. (2022)
Keyphrases
</>
hybrid systems
process algebra
formal specification
formal methods
black box
meta learning
concurrent systems
model checking
intelligent systems
artificial intelligence
soft computing
computational intelligence
neural network