Not registered as user yet

Name: Niveditha Manjunath

Affiliation: Austrian Institute of Technology

Contributions

MeTRiD 2019Author of Localizing Faults in Simulink/Stateflow Models with STL within the MeTRiD-track