Refinement Based Methods for the Construction of Dependable Systems

Keyphrases

Publications

2009

Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems. Refinement Based Methods for the Construction of Dependable Systems (2009)

volume 9381, 2009

Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009 Refinement Based Methods for the Construction of Dependable Systems 9381 (2009)