( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
What lies between design intent coverage and model checking?

, , , и . DATE, стр. 1217-1222. European Design and Automation Association, Leuven, Belgium, (2006)

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

 

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

Synthesis of sampling modes for adaptive control., , , , , и . ICCSCE, стр. 294-299. IEEE, (2014)Concurrent Usage Control Implementation Verification Using the SPIN Model Checker., , и . CNSA, том 89 из Communications in Computer and Information Science, стр. 214-223. Springer, (2010)Formal Analysis of Hybrid Systems Using Feature Indented Assertions., и . CoRR, (2017)Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (3): 447-451 (2012)Assertions for Protecting Mixed-Signal Latency Contracts in Power Management., , , и . IEEE Trans. Very Large Scale Integr. Syst., 28 (8): 1745-1756 (2020)Robust f0 extraction from monophonic signals using adaptive sub-band filtering., , , и . Speech Commun., (2020)CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications., , , и . ACM Trans. Design Autom. Electr. Syst., 28 (1): 9:1-9:32 (января 2023)Analog Coverage-driven Selection of Simulation Corners for AMS Integrated Circuits., , , , , , и . DATE, стр. 1-6. IEEE, (2023)Generating Tiny Deep Neural Networks for ECG Classification on Micro-Controllers., , , , и . PerCom Workshops, стр. 392-397. IEEE, (2023)Formal Verification of Security Policy Implementations in Enterprise Networks., , и . ICISS, том 5905 из Lecture Notes in Computer Science, стр. 117-131. Springer, (2009)