PROMELA

作品数：43被引量：73H指数：5
导出分析报告
相关作者：李祥吴尽昭黄志球唐郑熠孙守卿更多>>
相关机构：贵州大学南京航空航天大学南昌大学北京交通大学更多>>
相关期刊：《计算机技术与发展》《电脑编程技巧与维护》《计算机与数字工程》《计算机与现代化》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
李祥
贵州大学计算机科学...
吴尽昭
广西民族大学
黄志球
南京航空航天大学计...
唐郑熠
贵州大学计算机科学...
孙守卿
兰州大学信息科学与...
李彩虹
兰州大学信息科学与...
相关机构更多
相关主题更多