| scholarly article | Q13442814 |
| P8978 | DBLP publication ID | journals/jrie/GallardoLPT17 |
| P356 | DOI | 10.1007/S40860-017-0040-3 |
| P2093 | author name string | Laura Panizo | |
| Laura Titolo | |||
| Leticia Lavado | |||
| María-del-Mar Gallardo | |||
| P2860 | cites work | A review of smart homes- present state and future challenges | Q37119474 |
| A perspective on intelligent devices and environments in medical rehabilitation | Q37321220 | ||
| Discrete abstractions of hybrid systems | Q57582190 | ||
| Extending model checkers for hybrid system verification: the case study ofSPIN | Q57821558 | ||
| An extension of Java PathFinder for hybrid systems | Q57821566 | ||
| Ambient Assisted Living system for in-home monitoring of healthy independent elders | Q58183767 | ||
| Modeling a Risk Detection System for Elderly’s Home-Care with a Network of Timed Automata | Q58183775 | ||
| "Intelligent Environments: a manifesto" | Q59302852 | ||
| P433 | issue | 1 | |
| P921 | main subject | Intelligent environments | Q6044127 |
| P304 | page(s) | 55-79 | |
| P577 | publication date | 2017-05-12 | |
| P1433 | published in | Journal of reliable intelligent environments | Q27727303 |
| P1476 | title | A constraint-based language for modelling intelligent environments | |
| P478 | volume | 3 |
Search more.