Old Web
English
Sign In
Acemap
>
authorDetail
>
Nguyen Thuy
Nguyen Thuy
Électricité de France
Computer science
Modeling language
Modelica
Systems engineering
Programming language
5
Papers
39
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica
2021
Requirements Engineering
Daniel Bouskela
Alberto Falcone
Alfredo Garro
Audrey Jardin
Martin Otter
Nguyen Thuy
Andrea Tundis
Show All
Source
Cite
Save
Citations (1)
Requirements modelling to help decision makers to efficiently renovate energy systems of urban districts
2019
Mathias Bouquerel
Enrique Kremers
Jonathan van der Kamp
Nguyen Thuy
Audrey Jardin
Show All
Source
Cite
Save
Citations (2)
On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution
2016
ISSE | IEEE International Symposium on Systems Engineering
Alfredo Garro
Andrea Tundis
Daniel Bouskela
Audrey Jardin
Nguyen Thuy
Martin Otter
Lena Buffoni
Peter Fritzson
Martin Sjölund
Wladimir Schamai
Hans Olsson
Show All
Source
Cite
Save
Citations (20)
Formal Requirements Modeling for Simulation-Based Verification
2015
Modelica | International Modelica Conference
Martin Otter
Nguyen Thuy
Daniel Bouskela
Lena Buffoni
Hilding Elmqvist
Peter Fritzson
Alfredo Garro
Audrey Jardin
Hans Olsson
Maxime Payelleville
Wladimir Schamai
Eric Thomas
Andrea Tundis
Show All
Source
Cite
Save
Citations (16)
HARMONICS: EU FP7 Project on the Reliability and Safety Assessment of Modern Nuclear I&C Software
2014
Janne Valkonen
Sofia Guerra
Robin E. Bloomfield
Nguyen Thuy
Josef Märtz
Bo Liwång
Jari J. Hämäläinen
Show All
Source
Cite
Save
Citations (0)
1