Model-Checking Real-Time Properties of an Auto Flight Control System Function.

Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn

Browse the full ISSRE paper archive.