Require, Test and Trace IT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran. Require, Test and Trace IT. In Manuel Núñez, Matthias Güdemann, editors, Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Volume 9128 of Lecture Notes in Computer Science, pages 113-127, Springer, 2015. [doi]

This author has not been identified. Look up 'Bernhard K. Aichernig' in GoogleThis author has not been identified. Look up 'Klaus Hörmaier' in GoogleThis author has not been identified. Look up 'Florian Lorber' in GoogleThis author has not been identified. Look up 'Dejan Nickovic' in GoogleThis author has not been identified. Look up 'Stefan Tiran' in Google

runs on WebDSL