4
Publications
87
Citations
4
H-Index
2013
Active since
Affiliations
Tino Brade is an author at Otto-von-Guericke University Magdeburg specializing in formal methods, intelligent systems, and verification.
Top concepts
AutomationEngineeringVerificationFormal MethodsComputer ScienceFormal VerificationIntelligent SystemsSystems EngineeringDesignRobotics
Publications per year
2013–2019
4
4
Assessing neural networks for sensor fault detection
Georg Jäger, Sebastian Zug, Tino Brade et al. · 2014 · 37 citations
Validity-Based Failure Algebra for Distributed Sensor Systems
Tino Brade, Sebastian Zug, Jörg Kaiser · 2013 · 19 citations
Rows per page
1–4 of 4