Formal Modeling and Analysis with Humans in Infrastructures for IoT Health Care Systems.

Florian Kammller

Browse the full HCI paper archive.