Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi. Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress. In Aviral Shrivastava, Sudeep Pasricha, editors, Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2018, part of ESWEEK 2018, Torino, Italy, September 30 - October 5, 2018. pages 4, IEEE / ACM, 2018. [doi]

This author has not been identified. Look up 'Stefano Spellini' in GoogleThis author has not been identified. Look up 'Michele Lora' in GoogleThis author has not been identified. Look up 'Sudipta Chattopadhyay' in GoogleThis author has not been identified. Look up 'Franco Fummi' in Google

runs on WebDSL