ARCH-COMP20 Category Report: Stochastic Models
ARCH-COMP20 Category Report: Stochastic Models
复制标题
ARCH-COMP20 类别报告：随机模型
DOI：
10.29007/mqzc
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Abate A
中科院分区：
文献类型：
--
作者：
Abate A
登录
查看更多内容
自动机、随机微分方程和Petri网之间的互模拟关系
DOI：
10.4204/eptcs.20.1
发表时间：
2010
期刊：
2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing
影响因子：
--
作者：
M. Everdij;H. Blom
通讯作者：
H. Blom
使用 HyPro 分析具有多次随机触发的混合 Petri 网
DOI：
10.1145/3150928.3150938
发表时间：
2017
期刊：
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools
影响因子：
--
作者：
Jannik Hüls;Stefan Schupp;Anne Remke;E. Ábrahám
通讯作者：
E. Ábrahám
使用一般转换和非线性微分方程模拟混合 Petri 网
DOI：
10.1145/3388831.3388842
发表时间：
2020
期刊：
Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools
影响因子：
--
作者：
Mathis Niehage;Carina Pilch;Anne Remke
通讯作者：
Anne Remke
HPnG 走向非线性：电池供电系统的统计可靠性评估
DOI：
10.1109/mascots.2018.00024
发表时间：
2018
期刊：
2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)
影响因子：
--
作者：
Carina Pilch;Mathis Niehage;Anne Remke
通讯作者：
Anne Remke
ARCH-COMP19 类别报告：随机建模
影响因子：
6.4
作者：
A. Abate;H. Blom;Nathalie Cauchi;S. Haesaert;A. Hartmanns;Kendra Lesser;Meeko Oishi;Vignesh Sivaramakrishnan;S. Soudjani;C. Vasile;Abraham P. Vinod
通讯作者：
Abraham P. Vinod