Weighted Kripke Structures and Refinement of Models
Weighted Kripke Structures and Refinement of Models
复制标题
加权克里普克结构和模型细化
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
西沢弘毅
中科院分区：
文献类型：
--
作者：
亀山幸義;木下佳樹;西沢弘毅
登录
查看更多内容
不确定性下加权Kripke结构的验证
DOI：
10.1007/978-3-319-99154-2_5
发表时间：
2018
期刊：
International Conference on Quantitative Evaluation of Systems
影响因子：
--
作者：
Giovanni Bacci;Mikkel Hansen;K. Larsen
通讯作者：
K. Larsen
DOI：
10.1007/s10009-014-0359-5
发表时间：
2016-08-01
影响因子：
1.5
作者：
Jensen, Jonas Finnemann;Larsen, Kim Guldstrand;Oestergaard, Lars Kaerlund
通讯作者：
Oestergaard, Lars Kaerlund
DOI：
10.3233/fi-2018-1707
发表时间：
2018
期刊：
Fundam. Informaticae
影响因子：
--
作者：
Andreas Engelbredt Dalsgaard;Søren Enevoldsen;P. Fogh;Lasse S. Jensen;P. G. Jensen;T. S. Jepsen;Isabella Kaufmann;K. Larsen;Søren M. Nielsen;Mads Chr. Olesen;Samuel Pastva;Jiri Srba
通讯作者：
Jiri Srba
DOI：
10.4230/oasics.syncop.2015.77
发表时间：
2015
期刊：
International Workshop on Synthesis of Complex Parameters
影响因子：
--
作者：
Peter F. Christoffersen;Mikkel Hansen;Anders Mariegaard;J. Ringsmose;K. Larsen;R. Mardare
通讯作者：
R. Mardare
$$ ext {PCTL}^{>}_{le }$$ 模型检查的符号依赖图
DOI：
10.1007/978-3-319-65765-3_9
发表时间：
2017
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
Anders Mariegaard;K. Larsen
通讯作者：
K. Larsen