Login / Signup

Compositional Analysis of Parametric Cooperative Cyber-Physical Systems.

Raniah A AlghamdiRichard J. Trefler
Published in: FormaliSE@ICSE (2024)
Keyphrases
  • cooperative
  • real time
  • artificial intelligence
  • information systems
  • e government