DEBORAH: A Tool for Worst-Case Analysis of FIFO Tandems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luca Bisti, Luciano Lenzini, Enzo Mingozzi, Giovanni Stea. DEBORAH: A Tool for Worst-Case Analysis of FIFO Tandems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I. Volume 6415 of Lecture Notes in Computer Science, pages 152-168, Springer, 2010. [doi]

This author has not been identified. Look up 'Luca Bisti' in GoogleThis author has not been identified. Look up 'Luciano Lenzini' in GoogleThis author has not been identified. Look up 'Enzo Mingozzi' in GoogleThis author has not been identified. Look up 'Giovanni Stea' in Google

runs on WebDSL