( en | de | ru )

 

Disambiguierung von "Parisi-Presicce, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling.

, , und . GCM@ICGT, Volume 1403 von CEUR Workshop Proceedings, Seite 18-33. CEUR-WS.org, (2015)

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.

Jürgen Parisi

Jürgen Parisi

Jürgen Parisi

Giovanni Parisi

Jürgen Parisi

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Reusability of Specifications and Implementations.. AMAST, Seite 43-56. Springer, (1991)An Algebraic View of Inheritance and Subtyping in Object Oriented Programming., und . ESEC, Volume 550 von Lecture Notes in Computer Science, Seite 364-379. Springer, (1991)Transformations of Graph Grammars.. TAGT, Volume 1073 von Lecture Notes in Computer Science, Seite 428-442. Springer, (1994)Which Graphs for Visual Modeling?. ICALP Satellite Workshops, Seite 383-386. Carleton Scientific, Waterloo, Ontario, Canada, (2000)Product and Iteration of Module Specifications.. CAAP, Volume 299 von Lecture Notes in Computer Science, Seite 149-164. Springer, (1988)Modeling E -service Orchestration through Petri Nets., , und . TES, Volume 2444 von Lecture Notes in Computer Science, Seite 38-47. Springer, (2002)Parallelism analysis in rule-based systems using graph grammars., und . Graph-Grammars and Their Application to Computer Science, Volume 291 von Lecture Notes in Computer Science, Seite 427-439. Springer, (1986)A Model for Distribution and Revocation of Certificates., und . ICGT, Volume 6372 von Lecture Notes in Computer Science, Seite 314-329. Springer, (2010)Non-Equivalence of Categories for Equational Algebraic Specifications., und . COMPASS/ADT, Volume 655 von Lecture Notes in Computer Science, Seite 222-235. Springer, (1991)Closure Properties of Context-Tree Hyperedge Replacement Systems., und . WG, Volume 1197 von Lecture Notes in Computer Science, Seite 101-113. Springer, (1996)