Found 1 results
Filters: Keyword is statistical model-checking techniques [Clear All Filters]
Analyzing ambient assisted living solutions: A research perspective. 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS).
.
2017.