( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating Statechart Components in Polyglot.

, , , , , , и . NASA Formal Methods, том 7226 из Lecture Notes in Computer Science, стр. 267-272. Springer, (2012)

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.

Padmanabhan Balasubramanian

Balasubramanian Ramani

Subramaniaiyeaiyer Balasubramanian

Muthuswami Balasubramanian

Bharat Balasubramanian

 

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

Applying DDDAS Principles for Realizing Optimized and Robust Deep Learning Models at the Edge., , , , и . DDDAS, том 13984 из Lecture Notes in Computer Science, стр. 325-339. Springer, (2022)Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models., , , и . SC@TOOLS, том 6708 из Lecture Notes in Computer Science, стр. 133-140. Springer, (2011)Deliberative, search-based mitigation strategies for model-based software health management., , , и . Innov. Syst. Softw. Eng., 9 (4): 293-318 (2013)Triggering Rowhammer Hardware Faults on ARM: A Revisit., , , , и . ASHES@CCS, стр. 24-33. ACM, (2018)Rapid property specification and checking for model-based formalisms., , , , , , и . International Symposium on Rapid System Prototyping, стр. 121-127. IEEE, (2011)A Rapid Testing Framework for a Mobile Cloud., , , , , и . RSP, стр. 128-134. IEEE, (2014)Dynamic symbolic execution for the analysis of web server applications in Java., , , и . SAC, стр. 2178-2185. ACM, (2019)Common Coupling and Pointer Variables, with Application to a Linux Case Study, , , , , , , , и . Software Quality Journal, 15 (1): 99--113 (марта 2006)Differential-FORMULA: towards a semantic backplane for incremental modeling., , , и . DSM@SPLASH, стр. 51-60. ACM, (2021)Applying a Grouping Operator in Model Transformations., , , , , , и . AGTIVE, том 5088 из Lecture Notes in Computer Science, стр. 410-425. Springer, (2007)