Login / Signup
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.
Jaehun Lee
Kyungmin Bae
Peter Csaba Ölveczky
Sharon Kim
Minseok Kang
Published in:
Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
</>
formal analysis
cyber physical systems
formal methods
artificial intelligence
high speed
computer networks
machine learning
object oriented
data collection
agent model
physical world
ban logic