On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alfredo Garro, Andrea Tundis, Daniel Bouskela, Audrey Jardin, Nguyen Thuy, Martin Otter, Lena Buffoni, Peter Fritzson, Martin Sjölund, Wladimir Schamai, Hans Olsson. On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution. In IEEE International Symposium on Systems Engineering, ISSE 2016, Edinburgh, United Kingdom, October 3-5, 2016. pages 1-8, IEEE, 2016. [doi]

This author has not been identified. Look up 'Alfredo Garro' in GoogleThis author has not been identified. Look up 'Andrea Tundis' in GoogleThis author has not been identified. Look up 'Daniel Bouskela' in GoogleThis author has not been identified. Look up 'Audrey Jardin' in GoogleThis author has not been identified. Look up 'Nguyen Thuy' in GoogleThis author has not been identified. Look up 'Martin Otter' in GoogleThis author has not been identified. Look up 'Lena Buffoni' in GoogleThis author has not been identified. Look up 'Peter Fritzson' in GoogleThis author has not been identified. Look up 'Martin Sjölund' in GoogleThis author has not been identified. Look up 'Wladimir Schamai' in GoogleThis author has not been identified. Look up 'Hans Olsson' in Google

runs on WebDSL