| 标题 |
 Towards More Trustworthy Online Examinations: Formal Modeling and Verification Using CPNs 相关领域
正确性
计算机科学
形式验证
模型检查
Petri网
可信赖性
形式化方法
软件工程
运行时验证
功能验证
数据验证
光学（聚焦）
程序设计语言
威胁模型
财产（哲学）
验证和确认
正式规范
软件验证
调试
分布式计算
活动图
统一建模语言
数据建模
语义学（计算机科学）
更安全的
计算机安全
|
| 网址 | |
| DOI | |
| 其它 |
期刊：Journal of Software: Evolution and Process 作者：Wenbo Zhou; Yi-Yuan Wang; Ming-Hao Yin 出版日期：2026-03-29 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
null
秋风
无极微光
Maestro_S
suhai
aaaa
嘻嘻哈哈
彭于彦祖
Criminology34
v0id
风吹麦浪
cdercder
吃葡萄不吐葡萄皮
04d
Nole
蓝天
风格
热心市民小红花
anz1
牧青
皖公网安备34019202002308
