Old Web
English
Sign In
Acemap
>
authorDetail
>
Thomas Klotz
Thomas Klotz
Bosch
Computer science
Real-time computing
Embedded operating system
Software
Source code
1
Papers
10
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal Verification of Software for the Contiki Operating System Considering Interrupts
2015
DDECS | Design and Diagnostics of Electronic Circuits and Systems
Thilo Vörtler
Benny Höckner
Petra Hofstedt
Thomas Klotz
Show All
Source
Cite
Save
Citations (10)
1