( en | de | ru )

 

Disambiguierung von "Pelliccione, Patrizio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compositional Verification of Middleware-Based Software Architecture Descriptions.

, , und . ICSE, Seite 221-230. IEEE Computer Society, (2004)

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.

Patrizio Collovà

Patrizio Foresta

Patrizio Mattei

Patrizio Foresta

Patrizio Merloni

 

Weitere Publikationen von Autoren mit dem selben Namen

From Requirements to code: an Architecture-centric Approach for producing Quality Systems, , , und . CoRR, (2009)Ethical and Social Aspects of Self-Driving Cars., , und . CoRR, (2018)Charmy: A Framework for Designing and Validating Architectural Specifications, , , und . Ercim News n.58, (2004)Magazine..Wiley Encyclopedia of Computer Science and Engineering 6th Edition, , und . 3, Kapitel Model Checking, Seite 1904-1920. Benjamin W. Wah, NEW YORK – USA, (2009)Automatic generation of detailed flight plans from high-level mission descriptions., , , und . MoDELS, Seite 45-55. ACM, (2016)Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017)., , , , , , und . ACM SIGSOFT Softw. Eng. Notes, 43 (4): 24-27 (2018)Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach., , , und . FORTE, Volume 4229 von Lecture Notes in Computer Science, Seite 243-258. Springer, (2006)Reference architectures modelling and compliance checking., , , , und . Softw. Syst. Model., 22 (3): 891-917 (2023)Self-Adaptation in Industry: A Survey., , , , , , , , , und 6 andere Autor(en). CoRR, (2022)Modelling centralised automotive E/E software architectures., , und . Adv. Eng. Informatics, (2024)