( en | de | ru )

 

Disambiguierung von "Jorge, Tiago"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-checking of space systems designed with TASTE/SDL.

, , , , , , , und . MoDELS (Companion), Seite 237-246. ACM, (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.

Tiago Ferreira

Tiago Pereira

Tiago Outeiro

Tiago Folgosa Granja

Rolf Jörgens

 

Weitere Publikationen von Autoren mit dem selben Namen

Prospects for the Improvement of Energy Performance in Agroindustry Using Phase Change Materials., , , , , , , und . DoCEIS, Volume 577 von IFIP Advances in Information and Communication Technology, Seite 277-289. Springer, (2020)Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP., , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 727-737. Springer, (2019)Practical Evaluation of Large Scale Applications., , , , und . DAIS, Volume 9038 von Lecture Notes in Computer Science, Seite 124-137. Springer, (2015)Optimisation of wind plant sector management for energy and loads., und . ECC, Seite 922-927. IEEE, (2016)Exploration of Synthesis Methods from Simulink Models to FPGA for Aerospace Applications., , , , , und . CF, Seite 243-249. ACM, (2023)Model-checking of space systems designed with TASTE/SDL., , , , , , , und . MoDELS (Companion), Seite 237-246. ACM, (2022)Existence results for optimal control problems with some special non-linear dependence on state and control., und . CDC, Seite 1212-1217. IEEE, (2009)Knowledge sharing in project work: the dynamic interplay of knowledge domains and skills., , , und . J. Knowl. Manag., 27 (2): 328-355 (2023)Towards Sustainable Manufacturing Through Collaborative Circular Economy Strategies., , , , und . PRO-VE, Volume 629 von IFIP Advances in Information and Communication Technology, Seite 362-373. Springer, (2021)Spatial Analysis and Statistics of Pedestrian Injuries in Curitiba through a Grid Database., und . GEOINFO, Seite 128-133. MCTIC/INPE, (2018)