( en | de | ru )

 

Disambiguierung von "Ramesh, S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scalable model-checking for precise end-to-end latency computation.

, , , , und . CACSD, Seite 19-24. IEEE, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ramesh Ummanni

Ramesh Sheth

Ramesh Boggula

Ramesh Sharma

Ramesh Samanta

 

Weitere Publikationen von Autoren mit dem selben Namen

Time-budgeting: a component based development methodology for real-time embedded systems., , und . Formal Aspects Comput., 26 (3): 591-621 (2014)Search-Based Testing Approach for Deep Reinforcement Learning Agents., , , , und . CoRR, (2022)A Search-Based Testing Approach for Deep Reinforcement Learning Agents., , , , und . IEEE Trans. Software Eng., 49 (7): 3715-3735 (Juli 2023)A Direct Characterization of Completion., und . Theor. Comput. Sci., 154 (2): 379-385 (1996)Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking., , und . ISEC, Seite 41-50. ACM, (2011)Formal Modeling and Verification of a Victim DRAM Cache., , , , , und . ACM Trans. Design Autom. Electr. Syst., 24 (2): 20:1-20:23 (2019)Relating Requirement and Design Variabilities., und . APSEC Workshops, Seite 35-42. IEEE, (2012)Formalizing Traceability and Derivability in Software Product Lines, , , , und . CoRR, (2012)Compositional Verification of Evolving Software Product Lines, , , und . CoRR, (2012)A framework for mining hybrid automata from input/output traces., , , und . EMSOFT, Seite 177-186. IEEE, (2015)