Login / Signup
A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra.
Zhen Li
Zining Cao
Fujun Wang
Chao Xing
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2024)
Keyphrases
</>
verification method
model checking
process algebra
cyber physical systems
concurrent systems
temporal logic
formal specification
cyber physical
asynchronous circuits
physical world
formal methods
real time
social networks