( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tool-Assisted Specification and Verification of the JavaCard Platform.

, , , и . AMAST, том 2422 из Lecture Notes in Computer Science, стр. 41-59. Springer, (2002)

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.

João Simão

Amândio Miguel Simão

Gerard de Melo

Theresa de Sousa

Ágabo Borges de Sousa

 

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

Tool-Assisted Specification and Verification of the JavaCard Platform., , , и . AMAST, том 2422 из Lecture Notes in Computer Science, стр. 41-59. Springer, (2002)Jakarta: A Toolset for Reasoning about JavaCard., , , и . E-smart, том 2140 из Lecture Notes in Computer Science, стр. 2-18. Springer, (2001)A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction., , , и . PADL, том 7752 из Lecture Notes in Computer Science, стр. 43-59. Springer, (2013)A tool for implementing privacy in Nano., , и . DAPPS, стр. 159-163. IEEE, (2020)A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines., , , и . VMCAI, том 2294 из Lecture Notes in Computer Science, стр. 32-45. Springer, (2002)Partial Derivative Automata Formalized in Coq., , , и . CIAA, том 6482 из Lecture Notes in Computer Science, стр. 59-68. Springer, (2010)Learning Stochastic Timed Automata from Sample Executions., , и . ISoLA (1), том 7609 из Lecture Notes in Computer Science, стр. 508-523. Springer, (2012)Deciding Kleene algebra terms equivalence in Coq., , и . J. Log. Algebraic Methods Program., 84 (3): 377-401 (2015)E-Id Authentication and Uniform Access to Cloud Storage Service Providers., , , и . CloudCom (1), стр. 487-492. IEEE Computer Society, (2013)IS 2006 PC Co-chairs' Message., , и . OTM Workshops (1), том 4277 из Lecture Notes in Computer Science, стр. 311. Springer, (2006)