Items by "Haddad, Serge"

Ballarini, Paolo and Djafri, Hilal and Duflot, Marie and Haddad, Serge and Pekergin, Nihal (2012) HASL: an Expressive Language for Statistical Verification of Stochastic Models. In: 5th International ICST Conference on Performance Evaluation Methodologies and Tools.

Beccuti, Marco and Codetta-Raiteri, Daniele and Franceschinis, Giuliana and Haddad, Serge (2010) Non deterministic Repairable Fault Trees for computing optimal repair strategy. In: 3rd International ICST Conference on Performance Evaluation Methodologies and Tools.