{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:18:21Z","timestamp":1740028701103,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"abstract":"<jats:p>Current number of Ambient Intelligent systems is growning steadlily in last years. Moreover, several fields such as domotic and remote teaching are practical applications of AmI. These are some systems that interact with different ones, that is the reason of &amp;ldquo;AmI Ecosystem&amp;rdquo; term is used. An AmI Ecosystem is defined as the environment in which users interact transparently with a number of inter-connected devices to the Internet through different telematic networks.<\/jats:p>","DOI":"10.3233\/978-1-58603-946-2-182","type":"book-chapter","created":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T18:02:07Z","timestamp":1739988127000},"source":"Crossref","is-referenced-by-count":0,"title":["Model Cheking Ambient Intelligence with AVISPA"],"prefix":"10.3233","author":[{"family":"Mu&ntilde;oz Antonio","sequence":"additional","affiliation":[]},{"family":"Ma&ntilde;a Antonio","sequence":"additional","affiliation":[]},{"family":"Serrano Daniel","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Ambient Intelligence and Smart Environments","Ambient Intelligence Perspectives"],"original-title":[],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T18:25:10Z","timestamp":1739989510000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=1875-4163&volume=1&spage=182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-58603-946-2-182","relation":{},"ISSN":["1875-4163"],"issn-type":[{"value":"1875-4163","type":"print"}],"subject":[],"published":{"date-parts":[[2009]]}}}