ALL-TIMES - A European Project on Integrating Timing Technology - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat. ALL-TIMES - A European Project on Integrating Timing Technology. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 445-459, Springer, 2008. [doi]

This author has not been identified. Look up 'Jan Gustafsson' in GoogleThis author has not been identified. It may be one of the following persons:

Björn Lisper

Look up 'Björn Lisper' in GoogleThis author has not been identified. Look up 'Markus Schordan' in GoogleThis author has not been identified. Look up 'Christian Ferdinand' in GoogleThis author has not been identified. Look up 'Peter Gliwa' in GoogleThis author has not been identified. Look up 'Marek Jersak' in GoogleThis author has not been identified. Look up 'Guillem Bernat' in Google

runs on WebDSL