Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin. Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. In Mandayam K. Srivas, Albert John Camilleri, editors, Formal Methods in Computer-Aided Design, First International Conference, FMCAD 96, Palo Alto, California, USA, November 6-8, 1996, Proceedings. Volume 1166 of Lecture Notes in Computer Science, pages 233-247, Springer, 1996.

This author has not been identified. Look up 'Zijian Zhou' in GoogleThis author has not been identified. Look up 'Xiaoyu Song' in GoogleThis author has not been identified. Look up 'Sofiène Tahar' in GoogleThis author has not been identified. Look up 'Eduard Cerny' in GoogleThis author has not been identified. Look up 'Francisco Corella' in GoogleThis author has not been identified. Look up 'Michel Langevin' in Google

runs on WebDSL