Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri. Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study. In 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2014, Hong Kong, China, August 25-26, 2014. pages 7-12, IEEE Computer Society, 2014. [doi]

This author has not been identified. Look up 'Tasuku Ishigooka' in GoogleThis author has not been identified. Look up 'Habib Saissi' in GoogleThis author has not been identified. Look up 'Thorsten Piper' in GoogleThis author has not been identified. Look up 'Stefan Winter' in GoogleThis author has not been identified. Look up 'Neeraj Suri' in Google

runs on WebDSL