( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis.

, , , , и . SBESC, стр. 1-8. IEEE, (2019)

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.

Santosh Nigam

Nagarajavel Vivekananthan

Vivek Venkataramani

Vivek Ramamurthy

Santosh Nigam

 

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

Compound noise separation in digital circuits using blind source separation., , , и . Microelectron. J., 39 (8): 1083-1092 (2008)A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis., , , , и . SBESC, стр. 1-8. IEEE, (2019)Bounded Memory Dolev-Yao Adversaries in Collaborative Systems., , , и . Formal Aspects in Security and Trust, том 6561 из Lecture Notes in Computer Science, стр. 18-33. Springer, (2010)Bounded Memory Protocols and Progressing Collaborative Systems., , , и . ESORICS, том 8134 из Lecture Notes in Computer Science, стр. 309-326. Springer, (2013)Detection and diagnosis of deviations in distributed systems of autonomous agents., , , и . Math. Struct. Comput. Sci., 32 (9): 1254-1282 (октября 2022)Effect-dependent transformations for concurrent programs., , и . Sci. Comput. Program., (2018)A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis., , , , , , , , и . MODELSWARD, стр. 36-47. SCITEPRESS, (2022)Abstract effects and proof-relevant logical relations., , и . POPL, стр. 619-632. ACM, (2014)Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk)., , и . FSCD, том 195 из LIPIcs, стр. 3:1-3:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A Logical Framework with Commutative and Non-commutative Subexponentials., , , и . IJCAR, том 10900 из Lecture Notes in Computer Science, стр. 228-245. Springer, (2018)