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
Jump to: English
Number of items: 1.

English

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 Sat Dec 14 01:08:08 2019 CET.