Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters-Reference-Cited by-同舟云学术

Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters

Published:2014 Issue: Volume: Page:304-315
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Carnevali Laura,Paolieri Marco,Tarani Fabio,Vicario Enrico,Tadano Kumiko

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-10557-4_34

Reference24 articles.

1. http://www.oris-tool.org

2. Bobbio, A., Horváth, A., Telek, M.: Phfit: A general phase-type fitting tool. In: Proceedings of the International Conference on Dependable Systems and Networks, DSN 2002, p. 543. IEEE (2002)

3. Bobbio, A., Telek, M.: Markov regenerative SPN with non-overlapping activity cycles. In: Int. Computer Performance and Dependability Symp., IPDS 1995, pp. 124–133 (1995)

4. Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. International Journal on Software Tools for Technology Transfer 12(5), 391–403 (2010)

5. Carnevali, L., Grassi, L., Vicario, E.: State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. IEEE Trans. on SW Eng. 35(2), 178–194 (2009)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks;ACM Transactions on Cyber-Physical Systems;2019-03-07

2. Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation;2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2017-06