Wyniki wyszukiwania dla: Henrik Bohnenkamp
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods. Performance Modelling and Verification > Contributed Papers > 152-167
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods: Performance Modeling and Verification > Selected Papers > 37-56
Lecture Notes in Computer Science > Formal Methods for the Design of Real-Time Systems > Tools and Applications > 268-293
Lecture Notes in Computer Science > Computer Performance Evaluation. Modelling Techniques and Tools > Tools for Evaluation of Stochastic Models > 116-133
Lecture Notes in Computer Science > Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance > Full Papers > 107-119
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Specification Languages > 500-504
International Journal on Software Tools for Technology Transfer > 2010 > 12 > 5 > 305-318