Browsing Computer Science by Subject "Model-to-text transformation"
Now showing items 1-1 of 1
-
Democratization of runtime verification for internet of things
(Elsevier, 2018-05)Internet of Things (IoT) devices have gained more prevalence in ambient assisted living (AAL) systems. Reliability of AAL systems is critical especially in assuring the safety and well-being of elderly people. Runtime ...
Share this page