( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ESP-MC: An Experiment in the Use of Verification Tools.

, , и . ASIAN, том 1023 из Lecture Notes in Computer Science, стр. 396-410. Springer, (1995)

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.

Anna-Pia Paolazzi

Domingos Paola

Paola Belloni

Paola Bozzi

Paola Traverso

 

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

ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing., и . ACM SIGSOFT Softw. Eng. Notes, 24 (4): 33-42 (1999)On the adaptation of context-aware services., , , и . CoRR, (2015)A Statistical Approach for Context-Awareness of Mobile Applications., , , и . ECSA Companion, том 1269 из Communications in Computer and Information Science, стр. 180-194. Springer, (2020)A reuse-based approach to the correct and automatic composition of web-services., и . ESSPE, стр. 29-33. ACM, (2007)A Geo Time Authentication System., , , и . IFIPTM, том 238 из IFIP, стр. 123-138. Springer, (2007)Hey, my data are mine!: active data to empower the user., , , , , и . ICSE (NIER), стр. 5-8. ACM, (2020)On the elicitation of privacy and ethics preferences of mobile users., , , и . MOBILESoft@ICSE, стр. 132-136. ACM, (2020)AI Act and Individual Rights: A Juridical and Technical Perspective., , и . IAIL@HHAI, том 3221 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Static analysis of real-time component-based systems configurations., , и . Sci. Comput. Program., 46 (1-2): 5-30 (2003)Introducing Trust in Service-Oriented Distributed Systems through Blockchain., , , , и . ISSRE Workshops, стр. 149-154. IEEE, (2019)