Search results for: Jane Hillston
Fundamenta Informaticae > 2021 > Vol. 181, nr 1 > 1--35
IEEE Transactions on Systems, Man, and Cybernetics: Systems > 2017 > 47 > 12 > 3177 - 3188
Performance Evaluation > 2017 > 117 > C > 58-74
Lecture Notes in Computer Science > Formal Methods for Real-Time and Probabilistic Systems > Stochastic Process Algebra > 211-227
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
Statistics and Computing > 2017 > 27 > 4 > 991-1002
Lecture Notes in Computer Science > Computational Science - ICCS 2004 > Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2004) > 289-296
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 Evaluation Modelling Techniques and Tools > 353-368
Lecture Notes in Computer Science > Computer Performance Evaluation: Modelling Techniques and Tools > 111-130
Lecture Notes in Computer Science > Transactions on Computational Systems Biology XI > Computational Models for Cell Processes > 1-25
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Specification and Modelling > 96-110
Lecture Notes in Computer Science > Performance Tools and Applications to Networked Systems > 311-335