( en | de | ru )

 

Disambiguierung von "Kumar, Ratnesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata.

, und . IET Cyper-Phys. Syst.: Theory & Appl., 1 (1): 95-107 (2016)

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.

Ratnesh Kumar

Ratnesh Kumar Srivastav

Podiyanachari Santhosh Kumar

Rohini Kumar

Pardeep Kumar

 

Weitere Publikationen von Autoren mit dem selben Namen

Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution., und . CASE, Seite 1089-1094. IEEE, (2013)Model-based automatic test generation for Simulink/Stateflow using extended finite automaton., und . CASE, Seite 857-862. IEEE, (2012)Real Time Detection of Soil Moisture and Nitrates Using On-Board In-Situ Impedance Spectroscopy., , und . SMC, Seite 1081-1086. IEEE, (2013)Computation of the Precise Worst-Case Response Time of FlexRay Dynamic Messages., und . IEEE Trans Autom. Sci. Eng., 11 (2): 537-548 (2014)Polynomial Test for Stochastic Diagnosability of Discrete-Event Systems., und . IEEE Trans Autom. Sci. Eng., 10 (4): 969-979 (2013)Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata., , , und . IEEE Trans Autom. Sci. Eng., 8 (3): 560-569 (2011)Vehicle Re-identification: an Efficient Baseline Using Triplet Embedding., , , und . IJCNN, Seite 1-9. IEEE, (2019)PAMTRI: Pose-Aware Multi-Task Learning for Vehicle Re-Identification Using Highly Randomized Synthetic Data., , , , , , , und . ICCV, Seite 211-220. IEEE, (2019)A probabilistic language formalism for stochastic discrete-event systems., , und . IEEE Trans. Automat. Contr., 44 (2): 280-293 (1999)Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds., und . IEEE Trans. Automat. Contr., 60 (6): 1542-1553 (2015)