Login / Signup
A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B.
Meryem Afendi
Published in:
ABZ (2020)
Keyphrases
</>
cyber physical systems
cyber physical
real time
cost effective
wireless communication
physical world