Thomas Witte is an author at Universität Innsbruck specializing in system software, formal methods, and static analysis.
Top concepts
RoboticsEngineeringVerificationFormal MethodsSoftware DesignStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware Testing
Publications per year
2018–2022
2
2
Checking consistency of robot software architectures in ROS
Thomas Witte, Matthias Tichy · 2018 · 12 citations
Rows per page
1–2 of 2