Autor der Publikation

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica.

, , , , , , und . Requir. Eng., 27 (1): 1-30 (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Modelica - A Language for Physical System Modelling, , und . (1999)Innovations for Future Modelica., , und . Modelica, Volume 132 von Linköping Electronic Conference Proceedings, Seite 132:076. Linköping University Electronic Press, (2017)Collision handling with elastic response calculation and zero-crossing functions., und . EOOLT, Seite 57-65. ACM, (2019)Modelica Language, Libraries, Tools, Workshop and EU-Project RealSim, und . (Juni 2001)PySimulator � A Simulation and Analysis Environment in Python with Plugin Infrastructure, , , , und . Seite 523--536. (19.11.2012)Standardization of Thermo-Fluid Modeling in Modelica.Fluid, , , , , und . Proceedings of the 7th International Modelica Conference, Seite 122-131. (2009)Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica., , , , , , und . Requir. Eng., 27 (1): 1-30 (2022)Multi-Mode DAE Models - Challenges, Theory and Implementation., , , , , und . Computing and Software Science, Volume 10000 von Lecture Notes in Computer Science, Springer, (2019)Object-Oriented Modeling of Thermo-Fluid Systems, , und . Proceedings of the 3rd International Modelica Conference, Seite 269--286. (2003)The Modelica Fluid and Media Library for Modeling of Incompressible and Compressible Thermo-Fluid Pipe Networks, , , , und . (2006)