( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal verification of distributed controllers using Time-Stamped Event Count Automata.

, , , , , и . ASP-DAC, стр. 411-416. IEEE, (2013)

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.

Chandan Goswami

Shyamal Goswami

Devrishi Goswami

Panchali Goswami

Prosun Goswami

 

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

Control of Platooned Vehicles in Presence of Traffic Shock Waves., , , , и . ITSC, стр. 1727-1734. IEEE, (2019)Tight temporal bounds for dataflow applications mapped onto shared resources., , , , , и . SIES, стр. 300-307. IEEE, (2016)NoC-Based Multiprocessor Architecture for Mixed-Time-Criticality Applications., , , , , , , , , и 6 other автор(ы). Handbook of Hardware/Software Codesign, (2017)xCPS: A tool to eXplore Cyber Physical Systems., , , , , , , , , и 6 other автор(ы). WESE, стр. 3:1-3:8. ACM, (2015)Trustworthy Cyber Physical Systems., , , , и . VLSID, стр. 19-20. IEEE Computer Society, (2016)Characterizing feedback signal drop patterns in formal verification of networked control systems., , , и . CACSD, стр. 13-18. IEEE, (2013)Analyzable Publish-Subcribe Communication Through a Wait-Free FIFO Channel for MPSoC Real-Time Applications., , и . MCSoC, стр. 388-395. IEEE, (2021)Modeling, implementation, and analysis of XRCE-DDS applications in distributed multi-processor real-time embedded systems., , , , и . DATE, стр. 1148-1151. IEEE, (2021)Performance Analysis of Embedded Platoon Controllers., , , , и . VTC Spring, стр. 1-7. IEEE, (2020)State-based switching multi-rate controller for improving resource utilization on predictable and composable platforms., , , , , и . Microprocess. Microsystems, (июня 2022)