From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

A Survey on Systems Engineering Methodologies for Large Multi-Energy Cyber-Physical Systems., , , , и . SysCon, стр. 1-8. IEEE, (2019)ETL: A new temporal language for the verification of cyber-physical systems., и . SysCon, стр. 1-8. IEEE, (2018)Some Examples of Industrial Problems Modelling under SCILAB-SCICOS., , и . Modelling, Identification and Control, стр. 397-402. IASTED/ACTA Press, (2003)Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica., , , , , , и . Requir. Eng., 27 (1): 1-30 (2022)Dynamic Modelling of a Combined Cycle Power Plant With ThermoSysPro, , и . Proceedings of the 8th International Modelica Conference, 63, стр. 365--375. Linköping, Linköping University Electronic Press, (2011)A Model-Based Engineering Methodology for Stakeholders Coordination of Multienergy Cyber-Physical Systems., , , , и . IEEE Syst. J., 16 (1): 219-230 (2022)Modeling and simulation of complex ThermoSysPro model with OpenModelica - Dynamic Modeling of a combined cycle power plant., и . Modelica, том 132 из Linköping Electronic Conference Proceedings, стр. 132:046. Linköping University Electronic Press, (2017)On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution., , , , , , , , , и 1 other автор(ы). ISSE, стр. 1-8. IEEE, (2016)