Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation.

Yunja Choi

Browse the full SEFM paper archive.