( en | de | ru )

 

Disambiguierung von "Rajhans, Akshay"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-based online implementation of spike detection algorithms for neuroengineering applications.

, , , , und . EMBC, Seite 736-739. IEEE, (2022)

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.

Akshay Balsubramani

Akshay Wadia

Akshay Gupte

 

Weitere Publikationen von Autoren mit dem selben Namen

Graphical Hybrid Automata with Simulink and Stateflow., , , , und . HSCC, Seite 267-268. ACM, (2018)Heterogeneous verification of cyber-physical systems using behavior relations., und . HSCC, Seite 35-44. ACM, (2012)STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems., , und . QEST, Volume 8054 von Lecture Notes in Computer Science, Seite 165-168. Springer, (2013)Formal verification of phase-locked loops using reachability analysis and continuization., , , , , und . Commun. ACM, 56 (10): 97-104 (2013)Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow., , , , und . HSCC, Seite 247-252. ACM, (2018)Safe and Scalable Real-Time Trajectory Planning Framework for Urban Air Mobility., , , , , und . CoRR, (2023)Specification and Runtime Verification of Temporal Assessments in Simulink., , , und . RV, Volume 12974 von Lecture Notes in Computer Science, Seite 288-296. Springer, (2021)Model-based online implementation of spike detection algorithms for neuroengineering applications., , , , und . EMBC, Seite 736-739. IEEE, (2022)An Architectural Approach to the Design and Analysis of Cyber-Physical Systems., , , , , , und . ECEASST, (2009)Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks., , , , , und . IEEE Trans. Software Eng., 50 (2): 239-257 (Februar 2024)