Publications

Export 1 results:
Author Title [ Type(Asc)] Year
Filters: Keyword is time dependent analysis and Author is D. Guck  [Clear All Filters]
Conference Paper
Kumar R., Guck D., Stoelinga M.IA.  2015.  Time dependent analysis with dynamic counter measure trees. Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), London, England.