Checking the Conformance of a Promela Design to its Formal Specification in Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki. Checking the Conformance of a Promela Design to its Formal Specification in Event-B. 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 110-126, Springer, 2014. [doi]

This author has not been identified. Look up 'Dieu-Huong Vu' in GoogleThis author has not been identified. Look up 'Yuki Chiba' in GoogleThis author has not been identified. Look up 'Kenro Yatake' in GoogleThis author has not been identified. Look up 'Toshiaki Aoki' in Google

runs on WebDSL