检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机科学》2013年第1期F0002-F0002,共1页Computer Science
摘 要:由中国计算机学会Petri网专业委员会主办的“第十四届全国Petri网理论与应用学术年会”(两年一届)将于2013年8月23-25日在西安召开。该会是中国Petri网理论与应用研究领域最高水准的学术盛事,会议将对Petri网理论研究、应用研究、工具开发、仿真技术、并发模型、形式化方法等理论与应用问题进行广泛、深入的研讨。
关 键 词:PETRI网 学术年会 应用 征文通知 专业委员会 形式化方法 仿真技术 并发模型
分 类 号:TP393[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.116.242.144