Developing Topology Discovery in Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial. Developing Topology Discovery in Event-B. In Michael Leuschel, Heike Wehrheim, editors, Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings. Volume 5423 of Lecture Notes in Computer Science, pages 1-19, Springer, 2009. [doi]

This author has not been identified. Look up 'Thai Son Hoang' in GoogleThis author has not been identified. Look up 'Hironobu Kuruma' in GoogleThis author has not been identified. Look up 'David A. Basin' in GoogleThis author has not been identified. Look up 'Jean-Raymond Abrial' in Google

runs on WebDSL