TeSSLa: runtime verification of non-synchronized real-time streams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz 0001, Alexander Schramm. TeSSLa: runtime verification of non-synchronized real-time streams. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1925-1933, ACM, 2018. [doi]

This author has not been identified. Look up 'Martin Leucker' in GoogleThis author has not been identified. Look up 'César Sánchez' in GoogleThis author has not been identified. Look up 'Torben Scheffel' in GoogleThis author has not been identified. Look up 'Malte Schmitz 0001' in GoogleThis author has not been identified. Look up 'Alexander Schramm' in Google

runs on WebDSL