A Rule Verification System for Smart Building
| Year | 2017 |
| Author | , 吳庭育*, , |
| Author count | 4 |
| Created date | 2021-09-30 |
| Author order | 第二作者 |
| Corresponding author | 是 |
| Publication year | 2017 |
| Publication month | 7 |
| Journal name | IEEE Transactions on Emerging Topics in Computing |
| Journal sponsor | IEEE |
| Publication area | 美國 |
| Volume | 5 |
| Issue | 3 |
| Start page | 367 |
| End page | 379 |
| Publication type | |
| Review system | 是 |
| Language | Foreign Language |