TU Darmstadt / ULB / TUbiblio

Properties Modelling as Design by Contract for Cyber Physical Systems: an example in the Smart Grid domain

Tundis, Andrea and Mühlhäuser, Max :
Properties Modelling as Design by Contract for Cyber Physical Systems: an example in the Smart Grid domain.
[Online-Edition: http://www.inderscience.com/info/ingeneral/forthcoming.php?j...]
In: International Journal of Simulation and Process Modelling (IJSPM), 14 (2) pp. 120-136. ISSN 1740-2131
[Article] , (2019)

Official URL: http://www.inderscience.com/info/ingeneral/forthcoming.php?j...
Item Type: Article
Erschienen: 2019
Creators: Tundis, Andrea and Mühlhäuser, Max
Title: Properties Modelling as Design by Contract for Cyber Physical Systems: an example in the Smart Grid domain
Language: English
Journal or Publication Title: International Journal of Simulation and Process Modelling (IJSPM)
Volume: 14
Number: 2
Publisher: Inderscience Publishers
Divisions: Department of Computer Science
Department of Computer Science > Telecooperation
Date Deposited: 02 Oct 2018 11:11
DOI: 10.1504/IJSPM.2019.10021431
Official URL: http://www.inderscience.com/info/ingeneral/forthcoming.php?j...
Export:

Optionen (nur für Redakteure)

View Item View Item