A hot method for synthesising cool controllers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Idress Husien, Nicolas Berthier, Sven Schewe. A hot method for synthesising cool controllers. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 122-131, ACM, 2017. [doi]

This author has not been identified. Look up 'Idress Husien' in GoogleThis author has not been identified. Look up 'Nicolas Berthier' in GoogleThis author has not been identified. Look up 'Sven Schewe' in Google

runs on WebDSL