( en | de | ru )

 

Disambiguierung von "Incer, Inigo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.

, , und . MEMOCODE, Seite 111-121. ACM / IEEE, (2023)

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.

Iñigo Casanueva

Inigo Natzel

Gerardo Incera Garrido

Josef inigoj

Inigo Andreas Müller

 

Weitere Publikationen von Autoren mit dem selben Namen

A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies., , , , und . CoRR, (2023)Symbiotic CPS Design-Space Exploration through Iterated Optimization., , , , , , , , , und . CPS-IoT Week Workshops, Seite 92-99. ACM, (2023)The Algebra of Contracts. University of California, Berkeley, USA, (2022)Hypercontracts., , , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 674-692. Springer, (2022)Hypercontracts., , , und . CoRR, (2021)From Interface Automata to Hypercontracts., , , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 477-493. Springer, (2022)Contract-Based Specification Refinement and Repair for Mission Planning., , , und . FormaliSE, Seite 29-38. IEEE, (2023)Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design., , , , , , , , , und 1 andere Autor(en). CoRR, (2023)Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts., , und . MEMOCODE, Seite 111-121. ACM / IEEE, (2023)The cyber-physical immune system: work-in-progress., , , , und . EMSOFT, Seite 43-44. ACM, (2021)