Pierluigi Nuzzo

Compositional Design of Cyber-Physical Systems Using Contracts.
. University of California, Berkeley, USA, (2015)base-search.net (ftcdlib:qt5hk5w3bg).
  •  :
  •  :
далее