Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Filip Cuckov, Grant Rudd, Liam Daly. Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems. In 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. pages 401-402, IEEE Computer Society, 2017. [doi]

This author has not been identified. Look up 'Filip Cuckov' in GoogleThis author has not been identified. Look up 'Grant Rudd' in GoogleThis author has not been identified. Look up 'Liam Daly' in Google

runs on WebDSL