Supporting Requirements Validation: The EuRailCheck Tool

Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta. Supporting Requirements Validation: The EuRailCheck Tool. In ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009. pages 665-667, IEEE Computer Society, 2009. [doi]

Authors

Roberto Cavada

This author has not been identified. Look up 'Roberto Cavada' in Google

Alessandro Cimatti

This author has not been identified. Look up 'Alessandro Cimatti' in Google

Alessandro Mariotti

This author has not been identified. Look up 'Alessandro Mariotti' in Google

Cristian Mattarei

This author has not been identified. Look up 'Cristian Mattarei' in Google

Andrea Micheli

This author has not been identified. Look up 'Andrea Micheli' in Google

Sergio Mover

This author has not been identified. Look up 'Sergio Mover' in Google

Marco Pensallorto

This author has not been identified. Look up 'Marco Pensallorto' in Google

Marco Roveri

This author has not been identified. It may be one of the following persons: Look up 'Marco Roveri' in Google

Angelo Susi

This author has not been identified. Look up 'Angelo Susi' in Google

Stefano Tonetta

This author has not been identified. Look up 'Stefano Tonetta' in Google