( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Cross-layer analysis, testing and verification of automotive control software.

, , , , , , и . EMSOFT, стр. 263-272. ACM, (2011)

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.

Ramesh Ummanni

Ramesh Boggula

Ramesh Sharma

Ramesh Sheth

Ramesh Samanta

 

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

Randomized directed testing (REDIRECT) for Simulink/Stateflow models., , и . EMSOFT, стр. 217-226. ACM, (2008)Extending Statecharts with Temporal Logic., и . IEEE Trans. Software Eng., 24 (3): 216-231 (1998)Bridge Over Troubled Wrappers: Automated Interface Synthesis., , и . VLSI Design, стр. 189-194. IEEE Computer Society, (2004)SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage., , , и . ICTAC, том 7521 из Lecture Notes in Computer Science, стр. 164-167. Springer, (2012)k-time Forced Simulation: A Formal Verification Technique for IP Reuse., , и . ICCD, стр. 50-55. IEEE Computer Society, (2002)Multiple Mutation Testing from Finite State Machines with Symbolic Inputs., , и . ICTSS, том 10533 из Lecture Notes in Computer Science, стр. 108-125. Springer, (2017)Efficient coverage of parallel and hierarchical stateflow models for test case generation., , , и . Softw. Test. Verification Reliab., 22 (7): 457-479 (2012)A simulation condition for correct asynchronous implementation of synchronous design., , , и . ACC, стр. 1728-1733. IEEE, (2008)Model Checking of Statechart Models: Survey and Research Directions, и . ArXiv Computer Science e-prints, (июля 2004)A compositional axiomatization of Statecharts, , и . Theoretical Computer Science, 101 (2): 289--335 (июля 1992)