Sign in

Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.

Claudio MenghiEnrico ViganòDomenico BianculliLionel C. Briand
Published in: ICSE (2021)
Keyphrases
  • cyber physical
  • social networks
  • high speed
  • decision support system
  • physical world
  • cyber physical systems