Publications

Export 1 results:
Filters: Keyword is Model analysis and Author is Kishor S. Trivedi  [Clear All Filters]
2015
Bruneo, D., F. Longo, M. Scarpa, A. Puliafito, R. Ghosh, and K. S. Trivedi, "An SRN-based resiliency quantification approach", Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets), vol. 9115 Lecture Notes in Computer Science, Brussels, Belgium, 21-26 June 2015, Springer Verlag, pp. 98-116, 2015.