( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Fault-Tolerant Insulin Pump Therapy

, , и . Workshop on Rigorous Engineering of Fault Tolerant Systems Event Information, in conjunction with Formal Methods 2005, (18-22 July 2005)

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

 

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

Special issue: Engineering Fault Tolerant Systems., , , и . Comput. Syst. Sci. Eng., (2008)The Road Ahead for Architectural Languages., , , , и . IEEE Softw., 32 (1): 98-105 (2015)Guidelines for the development of a critical software under emergency., , , , , , и . Inf. Softw. Technol., (2022)The Problem of Consolidating RE Practices at Scale: An Ethnographic Study., , , и . REFSQ, том 10753 из Lecture Notes in Computer Science, стр. 155-170. Springer, (2018)Formal Analysis of Architectural Patterns., , и . EWSA, том 3047 из Lecture Notes in Computer Science, стр. 10-24. Springer, (2004)Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning., , , , и . AAAI, стр. 22385-22392. AAAI Press, (2024)Ethical-aware autonomous systems from a social psychological lens., , , и . CoPDA@AVI, том 3136 из CEUR Workshop Proceedings, стр. 43-48. CEUR-WS.org, (2022)Incremental Refinement of Goal Models with Contracts., , и . FSEN, том 12818 из Lecture Notes in Computer Science, стр. 35-50. Springer, (2021)CHARMY: A Framework for Designing and Verifying Architectural Specifications., , и . IEEE Trans. Software Eng., 35 (3): 325-346 (2009)A Software Exoskeleton to Protect and Support Citizen's Ethics and Privacy in the Digital World., , , , и . IEEE Access, (2019)