( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Keynote talk III: Trusted cloud: How to make the cloud more secure.

. MEMOCODE, стр. 132. IEEE, (2016)

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.

Sriram Rallabhandi

Sriram Varadarajan

Sriram Subramanian

Rajamani Sambasivam

Rajamani Sambasivam

 

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

MOCHA: Modularity in Model Checking., , , , , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 521-525. Springer, (1998)The SLAM Toolkit., и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 260-264. Springer, (2001)Fair Bisimulation., и . TACAS, том 1785 из Lecture Notes in Computer Science, стр. 299-314. Springer, (2000)Analyzing Explicit Information Flow.. ICISS, том 6503 из Lecture Notes in Computer Science, стр. 1-2. Springer, (2010)Models for Contract Conformance., и . ISoLA, том 4313 из Lecture Notes in Computer Science, стр. 181-196. Springer, (2004)Keynote talk III: Trusted cloud: How to make the cloud more secure.. MEMOCODE, стр. 132. IEEE, (2016)Refining abstract interpretations., , , и . Inf. Process. Lett., 110 (16): 666-671 (2010)Polymorphic predicate abstraction., , и . ACM Trans. Program. Lang. Syst., 27 (2): 314-343 (2005)Combining Tests and Proofs., , и . VSTTE, том 5295 из Lecture Notes in Computer Science, стр. 4-5. Springer, (2008)Formal specification and verification of a dataflow processor array., , , и . ICCAD, стр. 494-499. IEEE Computer Society, (1999)