Search results for: Leïla Kloul
Systems Engineering > 21 > 2 > 91 - 104
Reliability Engineering & System Safety > 2017 > 167 > C > 561-571
International Journal of Intelligent Transportation Systems Research > 2018 > 16 > 3 > 163-172
Lecture Notes in Computer Science > Applying Formal Methods: Testing, Performance, and M/E-Commerce > EPEW > 262-277
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods. Performance Modelling and Verification > Contributed Papers > 120-135
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Stochastic Process Algebra > 16-30
Lecture Notes in Computer Science > Computer Performance Engineering > Network and Software Performance > 37-50
Lecture Notes in Computer Science > Computer and Information Sciences - ISCIS 2004 > Modeling and Performance Evaluation > 523-532
Lecture Notes in Computer Science > Formal Techniques for Computer Systems and Business Processes > WS-FM > 200-214
Lecture Notes in Computer Science > Performance Tools and Applications to Networked Systems > 311-335
Lecture Notes in Computer Science > Computer Performance Engineering > Stochastic Process Algebra and SANs > 95-109
Lecture Notes in Computer Science > Formal Methods and Stochastic Models for Performance Evaluation > Stochastic Process Algebra > 1-15
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Dependability and Performance Analysis > 179-192