| 标题 |
 Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar 使用结构化英语语法对齐定性、实时和概率属性规范模式
相关领域
计算机科学
财产（哲学）
正确性
时态逻辑
规范语言
概率逻辑
程序设计语言
正式规范
理论计算机科学
自然语言
人工智能
认识论
哲学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：IEEE Transactions on Software Engineering 作者：Marco Autili; Lars Grunske; Markus Lumpe; Patrizio Pelliccione; Antony Tang 出版日期：2015-02-03 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
大力的灵雁
GingerF
嘉心糖
无极微光
Widy
BowieHuang
Joehq_1203
黑猫乾杯
麻花阳
愔愔
tuanheqi
佳俊
Dean
扶雨至姑苏
verdure
YifanWang
AmFae
识字岭的岭
小川
超级依云
皖公网安备34019202002308
