Login / Signup

Modelling and verifying time-aware processes for cyber-physical environments.

Imen GrajaSlim KallelNawal GuermoucheSaoussen CheikhrouhouAhmed Hadj Kacem
Published in: IET Softw. (2019)
Keyphrases
  • cyber physical
  • physical world
  • social networks
  • physical space
  • cyber physical systems
  • data processing
  • virtual world
  • communication networks
  • ubiquitous computing