( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.

, , , , , , и . IEEE Trans. Software Eng., 49 (4): 2741-2760 (апреля 2023)

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.

Patrizio Collovà

Patrizio Foresta

Patrizio Mattei

Patrizio Foresta

Patrizio Merloni

 

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

Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017)., , , , , , и . ACM SIGSOFT Softw. Eng. Notes, 43 (4): 24-27 (2018)Ethical and Social Aspects of Self-Driving Cars., , и . CoRR, (2018)From Requirements to code: an Architecture-centric Approach for producing Quality Systems, , , и . CoRR, (2009)Automatic generation of detailed flight plans from high-level mission descriptions., , , и . MoDELS, стр. 45-55. ACM, (2016)Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach., , , и . FORTE, том 4229 из Lecture Notes in Computer Science, стр. 243-258. Springer, (2006)Reference architectures modelling and compliance checking., , , , и . Softw. Syst. Model., 22 (3): 891-917 (2023)Specification Patterns for Robotic Missions., , , , и . IEEE Trans. Software Eng., 47 (10): 2208-2224 (2021)Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)., , , , и . CoRR, (2023)Self-Adaptation in Industry: A Survey., , , , , , , , , и 6 other автор(ы). CoRR, (2022)Modelling centralised automotive E/E software architectures., , и . Adv. Eng. Informatics, (2024)