×

找到10个文档(结果1-10)

将微分方程形式化简为过逼近的一种算法。 (英语) Zbl 1522.93048号

布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13479, 173-191 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用反向布尔等价简化布尔网络。 (英语) Zbl 1491.92058号

Cinquemani,Eugenio(编辑)等人,《系统生物学中的计算方法》。第19届国际会议,CMSB 2021,波尔多,法国,2021年9月22日至24日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12881, 1-18 (2021).
MSC公司:92立方厘米 92-08
PDF格式BibTeX公司 XML格式引用

不确定连续时间马尔可夫链的集总性。 (英语) Zbl 1492.60219号

阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,巴黎,法国,2021年8月23日至27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12846, 391-409 (2021).
MSC公司:60J25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

集体自适应系统的定量抽象。 (英语) Zbl 1346.68219号

Bernardo,Marco(编辑)等人,集体适应系统定量评估的形式方法。第16所计算机、通信和软件系统正式设计方法国际学校,2016年SFM,意大利贝蒂诺罗,2016年6月20日至24日。高级讲座。查姆:施普林格(ISBN 978-3-319-34095-1/pbk;978-3-3169-34096-8/电子书)。计算机科学9700、202-232讲稿(2016)。
MSC公司:68T42型 68T05型 93甲15 93A30型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份