( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mobile Code Paradigms and Technologies: A Case Study.

, и . Mobile Agents, том 1219 из Lecture Notes in Computer Science, стр. 39-49. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Teresa Carlomagno

Lothar Carlowitz

Horst Carlowitz

Hans Carlowitz

Hans Carlowitz

 

Другие публикации лиц с тем же именем

Model Driven QoS Analyses of Composed Web Services., , и . ServiceWave, том 5377 из Lecture Notes in Computer Science, стр. 299-311. Springer, (2008)Dealing with Incompleteness in Automata-Based Model Checking., , и . FM, том 9995 из Lecture Notes in Computer Science, стр. 531-550. (2016)Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking., и . SPLC, стр. 170-174. IEEE Computer Society, (2011)Flexible Processes for Evolvable Products.. IEEE METRICS, стр. 1. IEEE Computer Society, (2005)A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based Software., , , и . LASER Summer School, том 8987 из Lecture Notes in Computer Science, стр. 63-83. Springer, (2014)Model-based verification of quantitative non-functional properties for software product lines., и . Inf. Softw. Technol., 55 (3): 508-524 (2013)Compiler Testing using a Sentence Generator., , , , , и . Softw. Pract. Exp., 10 (11): 897-918 (1980)Using Graph Transformation Systems to Specify and Verify Data Abstractions, , , и . Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), том X из Electronic Communications of the EASST, стр. 277--290. EASST, European Association of Software Science and Technology, (марта 2008)Executing Formal Specifications: The ASTRAL to TRIO Translation Approach., и . Symposium on Testing, Analysis, and Verification, стр. 112-122. ACM, (1991)Editorial.. ACM Trans. Softw. Eng. Methodol., 14 (2): 119-123 (2005)