( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Situation-Based Autonomic Management of Automobile Cruise Control Systems.

, , и . FAS*W@SASO/ICCAC, стр. 103-108. IEEE Computer Society, (2017)

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 Sharma

Ramesh Sheth

Ramesh Boggula

Ramesh Samanta

 

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

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)Implementation of communicating reactive processes. Parallel Computing, 25 (6): 703--727 (июня 1999)Extending Statecharts with Temporal Logic., и . IEEE Trans. Software Eng., 24 (3): 216-231 (1998)Fully Abstract Semantics for Higher Order Communicating Systems.. MFCS, том 629 из Lecture Notes in Computer Science, стр. 463-471. Springer, (1992)A formal approach to component based development of synchronous programs., , и . ASP-DAC, стр. 421-424. ACM, (2001)Some results on Parametric Temporal Logic., , и . Inf. Process. Lett., 111 (20): 994-998 (2011)Slicing tools for synchronous reactive programs., , и . ISSTA, стр. 217-220. ACM, (2004)Randomized directed testing (REDIRECT) for Simulink/Stateflow models., , и . EMSOFT, стр. 217-226. ACM, (2008)Efficient coverage of parallel and hierarchical stateflow models for test case generation., , , и . Softw. Test. Verification Reliab., 22 (7): 457-479 (2012)