( en | de | ru )

 

Disambiguierung von "Orejas, Fernando"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.

, , , , , und . Fundam. Informaticae, 99 (1): 95-124 (2010)

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.

Fernando Boenicke

Fernando Cox

Fernando Silva

Fernando Wiens

Fernando Rinaldi

 

Weitere Publikationen von Autoren mit dem selben Namen

Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications., , , und . Comput. J., 35 (5): 468-477 (1992)New Concepts for Amalgamation and Extension in the Framework of Specification Logics., , und . Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)Passing Compatibility is almost Persistency.. ADT, Volume 116 von Informatik-Fachberichte, Seite 196-206. Springer, (1984)Clausal Rewriting: Applications and Implementation., und . ADT, Volume 534 von Lecture Notes in Computer Science, Seite 204-219. Springer, (1990)Abstract Constraint Data Types., und . Software, Services, and Systems, Volume 8950 von Lecture Notes in Computer Science, Seite 155-170. Springer, (2015)Controlling Reuse in Pattern-Based Model-to-Model Transformations., , und . Graph Transformations and Model-Driven Engineering, Volume 5765 von Lecture Notes in Computer Science, Seite 175-201. Springer, (2010)A Proof System for Verifying Composability of Abstract Implementations.. Semantics of Data Types, Volume 173 von Lecture Notes in Computer Science, Seite 357-374. Springer, (1984)A Transformational Semantics of Static Embedded Implications of Normal Logic Programs., , , und . LOPSTR, Volume 3901 von Lecture Notes in Computer Science, Seite 133-146. Springer, (2005)A General Algebraic Framework for Studying Modular Systems., und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 271-290. Springer, (1999)A Guided Tour through the ICARUS Project., , , , , und . ACM SIGSOFT Softw. Eng. Notes, 20 (2): 28-33 (1995)