Login / Signup

Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.

Jaehun LeeKyungmin BaePeter Csaba ÖlveczkySharon KimMinseok 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