Using Model-Checking for Timing Verification in Industrial System Design - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Laurent Rioux, Rafik Henia, Nicolas Sordon. Using Model-Checking for Timing Verification in Industrial System Design. In 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. pages 377-378, IEEE Computer Society, 2017. [doi]

This author has not been identified. Look up 'Laurent Rioux' in GoogleThis author has not been identified. Look up 'Rafik Henia' in GoogleThis author has not been identified. Look up 'Nicolas Sordon' in Google

runs on WebDSL