Model checking mobile ambients

机译：模型检查移动环境

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Charatonik Witold; Dal Zilio Silvano; Gordon Andrew D.; Mukhopadhyay Supratik; Talbot Jean-marc;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Model checking mobile ambients [J] . Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Theoretical computer science . 2003,第1a3期

机译：模型检查移动环境
2. Checking Connectivity in Mobile System Ambients with the Temporal Logic of Actions [J] . Tatjana KAPUS IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences . 2006,第11期

机译：使用动作的时间逻辑检查移动系统环境中的连接性
3. Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living [J] . Magherini T., Fantechi A., Nugent C.D., Human-Machine Systems, IEEE Transactions on . 2013,第6期

机译：在环境辅助生活的人类活动的自动识别中使用时间逻辑和模型检查
4. The Complexity of Model Checking Mobile Ambients [C] . Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Foundations of Software Science and Computation Structures . 2001

机译：移动环境模型检查的复杂性
5. Hybrid Cloud Model Checking Using the Interaction Layer of Harms for Ambient Assistive Living Environments [D] . Gomez Morales, Mauricio Alejandro. 2018

机译：在环境辅助生活环境中使用危害交互层进行混合云模型检查
6. A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions [O] . Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu 2019

机译：基于模型检查的环境辅助生活解决方案分析框架
7. Model checking mobile ambients [O] . Charatonik Witold, Dal Zilio Silvano, D. Gordon Andrew, 2003

机译：模型检查移动环境

Model checking mobile ambients

著录项

引文网络

相似文献

相关主题

期刊订阅