Cite
HARVARD Citation
Tundis, A. et al. (2019). Properties modelling as design by contract for cyber-physical systems: an example in the smart grid domain. International journal of simulation and process modelling. pp. 120-136. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Tundis, A. et al. (2019). Properties modelling as design by contract for cyber-physical systems: an example in the smart grid domain. International journal of simulation and process modelling. pp. 120-136. [Online].