A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Toshifusa Sekizawa, Makoto Fujiwara, Koichiro Watanabe. A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements. In 40th IEEE Annual Computer Software and Applications Conference, COMPSAC Workshops 2016, Atlanta, GA, USA, June 10-14, 2016. pages 490-493, IEEE, 2016. [doi]

This author has not been identified. Look up 'Toshifusa Sekizawa' in GoogleThis author has not been identified. Look up 'Makoto Fujiwara' in GoogleThis author has not been identified. Look up 'Koichiro Watanabe' in Google

runs on WebDSL