( en | de | ru )

 

Disambiguierung von "Ghezzi, Carlo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Process Formalisms Need to be Fully Reflective.

, und . ISPW, Seite 78-80. IEEE Computer Society, (1993)

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.

Teresa Carlomagno

Lothar Carlowitz

Horst Carlowitz

Hans Carlowitz

Hans Carlowitz

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimizing Service Selection and Allocation in Situational Computing Applications., , , und . IEEE Trans. Serv. Comput., 6 (3): 414-428 (2013)Computational REST Meets Erlang., , und . TOOLS (49), Volume 6705 von Lecture Notes in Computer Science, Seite 244-259. Springer, (2011)Towards Agile Verification., , und . Perspectives on the Future of Software Engineering, Seite 31-47. Springer, (2013)Dynamically Evolvable Dependable Software: From Oxymoron to Reality., , und . Concurrency, Graphs and Models, Volume 5065 von Lecture Notes in Computer Science, Seite 330-353. Springer, (2008)Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting, , und . SEKE~'02: Proceedings of the 14th international conference on Software engineering and knowledge engineering, Seite 507--511. ACM, ACM Press, (Juli 2002)Using Graph Transformation Systems to Specify and Verify Data Abstractions, , , und . Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), Volume X von Electronic Communications of the EASST, Seite 277--290. EASST, European Association of Software Science and Technology, (März 2008)RESTful Service Architectures for Pervasive Networking Environments., , und . REST: From Research to Practice, Springer, (2011)Software Qualities and Principles., , und . The Computer Science and Engineering Handbook, CRC Press, (1997)Executing Formal Specifications: The ASTRAL to TRIO Translation Approach., und . Symposium on Testing, Analysis, and Verification, Seite 112-122. ACM, (1991)Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata., , , und . FORTE, Volume 4574 von Lecture Notes in Computer Science, Seite 247-262. Springer, (2007)