A Practical Application of UPPAAL and DTRON for Runtime Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dragos Truscan, Tanwir Ahmad, Faezeh Siavashi, Pekka Tuuttila. A Practical Application of UPPAAL and DTRON for Runtime Verification. In 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP 2015, Florence, Italy, May 17, 2015. pages 39-45, IEEE, 2015. [doi]

This author has not been identified. It may be one of the following persons:

Dragos Truscan

Look up 'Dragos Truscan' in GoogleThis author has not been identified. Look up 'Tanwir Ahmad' in GoogleThis author has not been identified. Look up 'Faezeh Siavashi' in GoogleThis author has not been identified. Look up 'Pekka Tuuttila' in Google

runs on WebDSL