Login / Signup

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS.

Mathilde ArnaudBoutheina BannourArnault LapitreGuillaume Giraud
Published in: SEKE (2021)
Keyphrases
  • open source
  • process algebra
  • real time
  • access control
  • grid workflow