( en | de | ru )

 

Disambiguierung von "Orejas, Fernando"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Generic Component Framework for System Modeling.

, , , , und . FASE, Volume 2306 von Lecture Notes in Computer Science, Seite 33-48. Springer, (2002)

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 Cox

Fernando Silva

Fernando Rinaldi

Fernando Wiens

Fernando Boenicke

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Correctness of Modular Systems., , und . AMAST, Seite 209-216. Springer, (1993)Integration Paradigm for Data Type and Process Specification Techniques., und . Bulletin of the EATCS, (1998)Symbolic graphs for attributed graph constraints.. J. Symb. Comput., 46 (3): 294-315 (2011)On the Specification and Verification of Model Transformations., und . Semantics and Algebraic Specification, Volume 5700 von Lecture Notes in Computer Science, Seite 140-161. Springer, (2009)Constraints for Behavioural Specifications., und . ADT, Volume 534 von Lecture Notes in Computer Science, Seite 220-245. Springer, (1990)The Specification Language GSBL., und . ADT, Volume 534 von Lecture Notes in Computer Science, Seite 31-51. Springer, (1990)Role of Abstraction in Program Development - Response.. IFIP Congress, Seite 143-146. North-Holland/IFIP, (1986)Architectural Connectors for Sequence Diagrams., und . PROLE, Volume 206 von Electronic Notes in Theoretical Computer Science, Seite 111-131. Elsevier, (2007)Unification of Drags., und . UNIF, Seite 8:1-8:7. (2020)A refutation procedure for proving satisfiability of constraint specifications on XML documents., und . SCSS, Volume 30 von EPiC Series in Computing, Seite 47-61. EasyChair, (2014)