( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SOLj: A Domain-Specific Language (DSL) for Secure Service-Based Systems.

, и . FTDCS, стр. 173-180. IEEE Computer Society, (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.

Bharadwaj Vijaysarathy

Ashish Bharadwaj

Ramesh Ummanni

Ramesh Boggula

Ramesh Sharma

 

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

Formalizing Inductive Proofs of Network Algorithms., , и . ASIAN, том 1023 из Lecture Notes in Computer Science, стр. 335-349. Springer, (1995)SCR*: A Toolset for Specifying and Analyzing Software Requirements., , , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 526-531. Springer, (1998)Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking., и . TACAS, том 1785 из Lecture Notes in Computer Science, стр. 378-394. Springer, (2000)What Is SINS?. COMPSAC (2), стр. 11-12. IEEE Computer Society, (2005)0-7695-2413-3.Automatic Synthesis and Deployment of Intensional Kahn Process Networks., , и . FGIT-GDC, том 63 из Communications in Computer and Information Science, стр. 73-87. Springer, (2009)Introduction., и . Autom. Softw. Eng., 11 (2): 99 (2004)Verified Software: The RealGrand Challenge.. VSTTE, том 4171 из Lecture Notes in Computer Science, стр. 318-324. Springer, (2005)A complex-event-processing framework for smart-grid management., , и . CogSIMA, стр. 272-278. IEEE, (2012)QoS Extension to a B.A.T.M.A.N. based LoRa Mesh Network., , , и . MILCOM, стр. 43-48. IEEE, (2021)Analysis of Agent-Based Systems Using Decision Procedures.. FAABS, том 1871 из Lecture Notes in Computer Science, стр. 298-299. Springer, (2000)