( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantitative Analysis of a Probabilistic Non-repudiation Protocol through Model Checking.

, и . ICISS, том 5905 из Lecture Notes in Computer Science, стр. 292-300. Springer, (2009)

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.

Indranil Roy

Indranil Chatterjee

Indranil Chatterjee

Indranil Ganguli

Susanne Saha

 

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

A Distributed Algorithm of Fault Recovery for Stateful Failover., и . TAMC, том 4484 из Lecture Notes in Computer Science, стр. 738-749. Springer, (2007)A reinforcement model for collaborative security and Its formal analysis., и . NSPW, стр. 101-114. ACM, (2009)Location Verification Based Defense Against Sybil Attack in Sensor Networks., и . ICDCN, том 4308 из Lecture Notes in Computer Science, стр. 509-521. Springer, (2006)A Finite State Modeling of AFDX Frame Management Using Spin., и . FMICS/PDMC, том 4346 из Lecture Notes in Computer Science, стр. 227-243. Springer, (2006)An Online Planning Framework for Multi-Robot Systems with LTL Specification., и . ICCPS, стр. 180-191. IEEE, (2024)Automatic Dimensional Analysis of Cyber-Physical Systems., , и . FM, том 7436 из Lecture Notes in Computer Science, стр. 356-371. Springer, (2012)Antlab: A Multi-Robot Task Server., , и . ACM Trans. Embed. Comput. Syst., 16 (5s): 190:1-190:19 (2017)An approach to reverse engineering of C programs to simulink models with conformance testing., , , , , и . ISEC, стр. 137-138. ACM, (2009)Safe Self-Triggered Control Based on Precomputed Reachability Sequences., , и . HSCC, стр. 7:1-7:12. ACM, (2023)Automated composition of motion primitives for multi-robot systems from safe LTL specifications., , , , и . IROS, стр. 1525-1532. IEEE, (2014)