A roadmap to pervasive systems verification
A roadmap to pervasive systems verification
复制标题
普及系统验证的路线图
DOI：
10.1017/s0269888914000228
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Konur S
中科院分区：
文献类型：
--
作者：
Konur S
登录
查看更多内容
基于逻辑的代理验证
DOI：
10.1016/j.jal.2005.12.012
发表时间：
2007
期刊：
J. Appl. Log.
影响因子：
--
作者：
Michael Fisher;Munindar P. Singh;D. Spears;M. Wooldridge
通讯作者：
M. Wooldridge
Scatterbox：上下文感知消息管理
DOI：
10.3166/ria.22.549-568
发表时间：
2008
期刊：
Rev. d'Intelligence Artif.
影响因子：
--
作者：
S. Knox;Ross Shannon;Lorcan Coyle;A. Clear;S. Dobson;A. Quigley;P. Nixon
通讯作者：
P. Nixon
用于活动议程的无处不在的移动多媒体系统
DOI：
10.1109/wcnc.2012.6214139
发表时间：
2012
期刊：
2012 IEEE Wireless Communications and Networking Conference (WCNC)
影响因子：
--
作者：
Pedro M. P. Rosa;João A. Dias;Ivo M. C. Lopes;J. Rodrigues;Kai Lin
通讯作者：
Kai Lin
勃拉姆斯的形式语义学
DOI：
10.1007/978-3-642-22359-4_18
发表时间：
2011
期刊：
2009 IEEE/RSJ International Conference on Intelligent Robots and Systems
影响因子：
--
作者：
Richard Stocker;M. Sierhuis;Louise Dennis;C. Dixon;Michael Fisher
通讯作者：
Michael Fisher
人机任务操作工作系统设计中的多主体建模与仿真
DOI：
10.1109/hicss.2002.993859
发表时间：
2002
期刊：
Proceedings of the 35th Annual Hawaii International Conference on System Sciences
影响因子：
--
作者：
M. Sierhuis;W. Clancey;M. Sims
通讯作者：
M. Sims