( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bounded Reachability for Temporal Logic over Constraint Systems.

, , , , , и . TIME, стр. 43-50. IEEE Computer Society, (2010)

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.

Adelheid Rossi

Marcus Rossi

Gabriela Rossi

Rainer Rossi

Davide Rossi

 

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

An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment., , , , , , и . J. Comput. Phys., (2015)A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications., , , и . Theor. Comput. Sci., (2016)On How Bit-Vector Logic Can Help Verify LTL-Based Specifications., , и . IEEE Trans. Software Eng., 48 (4): 1154-1168 (2022)Experimental determination of momentum-resolved electron-phonon coupling, , , , , , , , , и 2 other автор(ы). Phys. Rev. Lett., 123 (2): 027001 (08.07.2019)RoboMAX: Robotic Mission Adaptation eXemplars., , , , , , , , , и 3 other автор(ы). SEAMS@ICSE, стр. 245-251. IEEE, (2021)A multirate predictive approach to orbit control of small spacecraft., и . ACC, стр. 1843-1848. IEEE, (2002)Analysis of Energy-Efficient Buildings through Simulation and Formal Methods., , , и . SIMPDA, том 1757 из CEUR Workshop Proceedings, стр. 113-119. CEUR-WS.org, (2016)CEL-Unet: a novel CNN architecture for 3D Segmentation of Knee Bones affected by Severe Osteoarthritis for PSI-Based Surgical Planning., , , , , и . EMBC, стр. 5039-5042. IEEE, (2022)Context Awareness in the Travel Companion of the Shift2Rail Initiative., , , и . SEBD, том 2646 из CEUR Workshop Proceedings, стр. 202-209. CEUR-WS.org, (2020)Towards the UML-Based Formal Verification of Timed Systems., , , и . FMCO, том 6957 из Lecture Notes in Computer Science, стр. 267-286. Springer, (2010)