Fingerprint
Dive into the research topics of 'Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes
Muhammad Usama Sardar, Osman Hasan, Muhammad Shafique, Jörg Henkel
Research output: Contribution to journal › Article › peer-review