Nguyen Thuy

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 4

Top Topics

Decision Makers

Systems Engineering

Top Venues

Publications

Daniel Bouskela, Alberto Falcone, Alfredo Garro, Audrey Jardin, Martin Otter, Nguyen Thuy, Andrea Tundis
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica. Requir. Eng. 27 (1) (2022)
Mathias Bouquerel, Enrique Kremers, Jonathan van der Kamp, Nguyen Thuy, Audrey Jardin
Requirements modelling to help decision makers to efficiently renovate energy systems of urban districts. SummerSim (2019)
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. ISSE (2016)
Nguyen Thuy
Modelling and Simulation of the Dynamics of Complex Socio-Cyber-Physical Systems and Large Scale Systems of Systems all Along Their Lifetime. CSDM (2016)