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, p. 1, DOI: 10.1109/SysEng.2016.7753137,
[Conference or Workshop Item]

This list was generated on Tue Oct 20 00:52:08 2020 CEST.