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 (2019):
Properties Modelling as Design by Contract for Cyber Physical Systems: an example in the Smart Grid domain.
In: International Journal of Simulation and Process Modelling (IJSPM), Inderscience Publishers, pp. 120-136, 14, (2), ISSN 1740-2131,
DOI: 10.1504/IJSPM.2019.10021431,
[Online-Edition: http://www.inderscience.com/info/ingeneral/forthcoming.php?j...],
[Article]

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: 20 Department of Computer Science
20 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:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item