Pierluigi Nuzzo

Compositional Design of Cyber-Physical Systems Using Contracts.
. University of California, Berkeley, USA, (2015)base-search.net (ftcdlib:qt5hk5w3bg).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found