( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models.

, , , , , и . ACM Trans. Design Autom. Electr. Syst., 16 (3): 33:1-33:30 (2011)

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.

Shivaji Dasgupta

Shyamal Dasgupta

Subho Dasgupta

Subhoranjan Dasgupta

Subrata Dasgupta

 

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

A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model., , , и . CNSA, том 89 из Communications in Computer and Information Science, стр. 232-241. Springer, (2010)Differential Fault Analysis Automation., , , и . IACR Cryptology ePrint Archive, (2017)A Spatio-Temporal Role-Based Access Control Model for Wireless LAN Security Policy Management., , и . ICISTM, том 54 из Communications in Computer and Information Science, стр. 76-88. Springer, (2010)Some results on Parametric Temporal Logic., , и . Inf. Process. Lett., 111 (20): 994-998 (2011)The Notion of Cross Coverage in AMS Design Verification., , , , , и . ASP-DAC, стр. 217-222. IEEE, (2020)V_THR: An Adaptive Load Balancing Algorithm., , и . J. Parallel Distributed Comput., 42 (2): 101-108 (1997)Formal Interpretation of Assertion-Based Features on AMS Designs., и . IEEE Des. Test, 32 (1): 9-17 (2015)Instrumenting AMS assertion verification on commercial platforms., , , и . ACM Trans. Design Autom. Electr. Syst., 14 (2): 21:1-21:47 (2009)A static verification approach for architectural integration of mixed-signal integrated circuits., , , , и . Integr., 43 (1): 58-71 (2010)Adaptive Algorithms for Scheduling Static Task Graphs in Dynamic Distributed Systems., , и . HiPC, том 1745 из Lecture Notes in Computer Science, стр. 143-150. Springer, (1999)