( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Service-Oriented Computing: State of the Art and Research Challenges.

, , , и . Computer, 40 (11): 38-45 (2007)

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.

Paola Traverso

Paola Traverso

Paola Traverso

Giordano Paolo

Paola Traverso

 

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

Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities.. SMARTGREENS, стр. IS-7. SciTePress, (2015)Computational reflection via mechanized logical deduction., и . Int. J. Intell. Syst., 11 (5): 279-293 (1996)A dynamic logic for acting, sensing, and planning., и . J. Log. Comput., 10 (6): 787-821 (2000)Learning Abstract Planning Domains and Mappings to Real World Perceptions., и . AI*IA, том 11946 из Lecture Notes in Computer Science, стр. 461-476. Springer, (2019)A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools., , , и . SAFECOMP, том 1516 из Lecture Notes in Computer Science, стр. 221-230. Springer, (1998)A Provably Correct Embedded Verifier for the Certification of Safety Critical Software., , , , , , , и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 202-213. Springer, (1997)Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking., , , и . IJCAI, стр. 473-478. Morgan Kaufmann, (2001)Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World., , и . ATAL, том 1037 из Lecture Notes in Computer Science, стр. 65-78. Springer, (1995)Automating Meta-Theory Creation and System Extension., , и . AI*IA, том 549 из Lecture Notes in Computer Science, стр. 48-57. Springer, (1991)Service-Oriented Computing: State of the Art and Research Challenges., , , и . Computer, 40 (11): 38-45 (2007)