Export 1 results:
Filters: Keyword is Petri nets 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.
"A scalable availability model for Infrastructure-as-a-Service cloud", Proceedings of the 41st IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Hong Kong, Hong Kong, 27-30 June 2011, IEEE Computer Society, pp. 335-346, 2011.