轻舟
发表于 2025-3-21 18:31:18
书目名称NASA Formal Methods影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0660034<br><br> <br><br>书目名称NASA Formal Methods影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0660034<br><br> <br><br>书目名称NASA Formal Methods网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0660034<br><br> <br><br>书目名称NASA Formal Methods网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0660034<br><br> <br><br>书目名称NASA Formal Methods被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0660034<br><br> <br><br>书目名称NASA Formal Methods被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0660034<br><br> <br><br>书目名称NASA Formal Methods年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0660034<br><br> <br><br>书目名称NASA Formal Methods年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0660034<br><br> <br><br>书目名称NASA Formal Methods读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0660034<br><br> <br><br>书目名称NASA Formal Methods读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0660034<br><br> <br><br>
容易做
发表于 2025-3-21 21:21:07
NASA Formal Methods978-3-642-20398-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
暗讽
发表于 2025-3-22 01:36:33
Mihaela Bobaru,Klaus Havelund,Rajeev JoshiFast track conference proceedings.Unique visibility.State of the art research
SPER
发表于 2025-3-22 08:18:54
http://reply.papertrans.cn/67/6601/660034/660034_4.png
gusher
发表于 2025-3-22 11:38:53
http://reply.papertrans.cn/67/6601/660034/660034_5.png
Immortal
发表于 2025-3-22 13:48:43
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/n/image/660034.jpg
DENT
发表于 2025-3-22 20:18:24
https://doi.org/10.1007/978-3-642-20398-5automated reasoning; concurrency; requirements analysis; software verification; validation
问到了烧瓶
发表于 2025-3-22 23:05:56
http://reply.papertrans.cn/67/6601/660034/660034_8.png
propose
发表于 2025-3-23 03:24:07
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Executionent for .. We describe a methodology for using Bakar Kiasan that provides significant increases in automation, usability, and functionality over existing . tools, and we present results from experiments on its application to industrial examples.
话
发表于 2025-3-23 09:24:20
Synthesis for PCTL in Parametric Markov Decision Processes by hyper-rectangles, we allow a limited area to remain undecided. We also consider an extension of PCTL with reachability rewards. To demonstrate the applicability of the approach, we apply our technique on a case study, using a preliminary implementation.