Towards the verification of real-time systems in avionics: the Cotre approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert. Towards the verification of real-time systems in avionics: the Cotre approach. Electronic Notes in Theoretical Computer Science, 80:203-218, 2003. [doi]

This author has not been identified. Look up 'Bernard Berthomieu' in GoogleThis author has not been identified. Look up 'Pierre-Olivier Ribet' in GoogleThis author has not been identified. Look up 'François Vernadat' in GoogleThis author has not been identified. Look up 'J. L. Bernartt' in GoogleThis author has not been identified. Look up 'Jean-Marie Farines' in GoogleThis author has not been identified. It may be one of the following persons:

Jean-Paul Bodeveix

Look up 'Jean-Paul Bodeveix' in GoogleThis author has not been identified. It may be one of the following persons:

Mamoun Filali

Look up 'Mamoun Filali' in GoogleThis author has not been identified. Look up 'Gérard Padiou' in GoogleThis author has not been identified. Look up 'Pierre Michel' in GoogleThis author has not been identified. Look up 'Patrick Farail' in GoogleThis author has not been identified. Look up 'Pierre Gauffilet' in GoogleThis author has not been identified. Look up 'Pierre Dissaux' in GoogleThis author has not been identified. Look up 'Jean-Luc Lambert' in Google

runs on WebDSL