Improving Railway Data Validation with ProB - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jérôme Falampin, Hung Le Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge. Improving Railway Data Validation with ProB. In Alexander Romanovsky, Martyn Thomas, editors, Industrial Deployment of System Engineering Methods. pages 27-43, Springer, 2013. [doi]

This author has not been identified. Look up 'Jérôme Falampin' in GoogleThis author has not been identified. Look up 'Hung Le Dang' in GoogleThis author has not been identified. It may be one of the following persons:

Michael Leuschel

Look up 'Michael Leuschel' in GoogleThis author has not been identified. Look up 'Mikael Mokrani' in GoogleThis author has not been identified. Look up 'Daniel Plagge' in Google

runs on WebDSL