Publications
Export 1 results:
Filters: Keyword is Model analysis and Author is Kishor S. Trivedi [Clear All Filters]
"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.