( en | de | ru )

 

Disambiguierung von "Dasgupta, Pallab"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Open computation tree logic with fairness.

, , und . ISCAS (5), Seite 249-252. IEEE, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Shivaji Dasgupta

Shyamal Dasgupta

Subho Dasgupta

Subhoranjan Dasgupta

Subrata Dasgupta

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Analysis of Hybrid Systems Using Feature Indented Assertions., und . CoRR, (2017)Assertions for Protecting Mixed-Signal Latency Contracts in Power Management., , , und . IEEE Trans. Very Large Scale Integr. Syst., 28 (8): 1745-1756 (2020)Early Analysis of Critical Faults: An Approach to Test Generation From Formal Specifications., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 31 (3): 447-451 (2012)Robust f0 extraction from monophonic signals using adaptive sub-band filtering., , , und . Speech Commun., (2020)CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications., , , und . ACM Trans. Design Autom. Electr. Syst., 28 (1): 9:1-9:32 (Januar 2023)Concurrent Usage Control Implementation Verification Using the SPIN Model Checker., , und . CNSA, Volume 89 von Communications in Computer and Information Science, Seite 214-223. Springer, (2010)Synthesis of sampling modes for adaptive control., , , , , und . ICCSCE, Seite 294-299. IEEE, (2014)A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis., , und . VLSI Design, Seite 95-102. IEEE Computer Society, (2007)Formal Verification of Modules under Real Time Environment Constraints., , und . VLSI Design, Seite 103-108. IEEE Computer Society, (2004)Model Checking Controllers with Predicate Inputs., und . VLSI Design, Seite 332-337. IEEE Computer Society, (2013)