Login / Signup

A semantic model for interacting cyber-physical systems.

Benjamin LionFarhad ArbabCarolyn L. Talcott
Published in: J. Log. Algebraic Methods Program. (2022)
Keyphrases
  • real time
  • decision support system