( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CFSMcharts: A New Language for Microprocessor Based system Design.

, и . VLSI Design, стр. 342-346. IEEE Computer Society, (1998)

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.

Partha Sampathkumaran

Artur Rööp

Partha Sampathkumaran

Partha Niyogi

Partha Lal

 

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

Observer based verification of IEC 61499 function blocks, , и . Industrial Informatics (INDIN), 2011 9th IEEE International Conference on, стр. 609-614. (июля 2011)A novel approach for model-based design of gastric pacemakers., , , , , и . Comput. Biol. Medicine, (2020)REFLIX: a processor core with native support for control-dominated embedded applications., , , и . Microprocess. Microsystems, 28 (1): 13-25 (2004)REMIC: design of a reactive embedded microprocessor core., , , и . ASP-DAC, стр. 977-981. ACM Press, (2005)Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure., , , , , и . MEMOCODE, стр. 1-11. IEEE, (2020)Compositional runtime enforcement revisited., , , и . Formal Methods Syst. Des., 59 (1): 205-252 (2021)Runtime verification of implantable medical devices using multiple physiological signals., , , , и . SAC, стр. 1837-1840. ACM, (2021)Local Module Checking for CTL Specifications., , и . FESCA@ETAPS, том 176 из Electronic Notes in Theoretical Computer Science, стр. 125-141. Elsevier, (2006)Automatic Component Matching Using Forced Simulation., , и . VLSI Design, стр. 64-69. IEEE Computer Society, (2000)Design of Heterogeneous Embedded Systems Using DFCharts Model of Computation., , и . VLSI Design, стр. 461-464. IEEE Computer Society, (2006)