A Spin-Based Approach for Checking OSEK/VDX Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Haitao Zhang, Toshiaki Aoki, Yuki Chiba. A Spin-Based Approach for Checking OSEK/VDX Applications. In Cyrille Artho, Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. Volume 476 of Communications in Computer and Information Science, pages 239-255, Springer, 2014. [doi]

This author has not been identified. Look up 'Haitao Zhang' in GoogleThis author has not been identified. Look up 'Toshiaki Aoki' in GoogleThis author has not been identified. Look up 'Yuki Chiba' in Google

runs on WebDSL