Browse by Person
 | Up a level |
Number of items: 1.
Garro, Alfredo and Tundis, Andrea and Bouskela, Daniel and Jardin, Audrey and Thuy, Nguyen and Otter, Martin and Buffoni, Lena and Fritzson, Peter and Sjölund, Martin and Schamai, Wladimir and Olsson, Hans (2016):
On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution.
In: Systems Engineering (ISSE), 2016 IEEE International Symposium on, DOI: 10.1109/SysEng.2016.7753137,
[Conference or Workshop Item]
Drucken
Impressum