CORC

在结果中检索

CORC

浏览/检索结果: 共8条，第1-8条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
面向环境与需求不确定性的系统自适应决策 期刊论文
计算机研究与发展, 2018, 卷号: 055, 期号: 005, 页码: 1014
作者:  杨卓群;  金芝
收藏  |  浏览/下载：10/0  |  提交时间：2020/01/10
基于验证的自适应系统决策:一种模型驱动的方法 期刊论文
软件学报, 2017, 卷号: 028, 期号: 007, 页码: 1676
作者:  杨卓群;  金芝
收藏  |  浏览/下载：13/0  |  提交时间：2020/01/10
物联网服务建模一种基于环境建模的方法 期刊论文
中国科学信息科学, 2013, 卷号: 43, 期号: 10, 页码: 1198
作者:  李戈;  魏强;  李力行;  金芝;  许焱
收藏  |  浏览/下载：5/0  |  提交时间：2020/01/10
基于时间自动机的物联网服务建模和验证 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 008, 页码: 1365
作者:  李力行;  金芝;  李戈
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/10
需求驱动的web服务建模及其验证一个基于本体的方法 期刊论文
中国科学e辑技术科学, 2006, 卷号: 36, 期号: 10, 页码: 1189
作者:  侯丽珊;  金芝;  吴步丹
收藏  |  浏览/下载：9/0  |  提交时间：2020/01/10
需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文
中国科学E辑:信息科学, 2006, 页码: 1189-1219
作者:  侯丽珊;  金芝;  吴步丹
收藏  |  浏览/下载：0/0  |  提交时间：2021/01/14
共享合成Petri网系统的活性保持性 期刊论文
系统工程理论与实践, 2005, 卷号: 025, 期号: 011, 页码: 70
作者:  蒲飞;  陆维明
收藏  |  浏览/下载：11/0  |  提交时间：2020/01/10
同步合成Petri网系统可回复性的保持性 期刊论文
系统工程理论与实践, 2005, 卷号: 025, 期号: 010, 页码: 83
作者:  蒲飞;  陆维明
收藏  |  浏览/下载：9/0  |  提交时间：2020/01/10

©版权所有 ©2017 CSpace - Powered by CSpace