( en | de | ru )

 

Disambiguierung von "Pelliccione, Patrizio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle.

, , , und . FME, Volume 2805 von Lecture Notes in Computer Science, Seite 114-132. Springer, (2003)

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

Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes., , , , , , und . PROFES, Volume 13709 von Lecture Notes in Computer Science, Seite 124-140. Springer, (2022)Significance of Continuous Compliance in Automotive., und . EASE, Seite 272-273. ACM, (2022)POPEYE: A simple and reliable collaborative working environment over mobile ad-hoc networks., , , , , , und . CollaborateCom, Seite 399-407. IEEE Computer Society / ICST, (2007)Compositional Verification of Middleware-Based Software Architecture Descriptions., , und . ICSE, Seite 221-230. IEEE Computer Society, (2004)EVOSS: A tool for managing the evolution of free and open source software systems., , und . ICSE, Seite 1415-1418. IEEE Computer Society, (2012)A model-driven approach to automate the propagation of changes among Architecture Description Languages., , , , und . Softw. Syst. Model., 11 (1): 29-53 (2012)Software Reconfiguration in Robotics., , , , und . CoRR, (2023)Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study., , , , und . J. Syst. Softw., 82 (2): 207-228 (2009)EFTS 2007: the 2nd international workshop on engineering fault tolerant systems., , , und . ESEC/SIGSOFT FSE, Seite 617-618. ACM, (2007)Automatic synthesis of behavior protocols for composable web-services., , , und . ESEC/SIGSOFT FSE, Seite 141-150. ACM, (2009)