TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
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]

This list was generated on Sat Jun 15 01:45:20 2019 CEST.