Checking models based on an iterative co-specification process of a critical system.

Fabien Bouffaron, Pascale Marange, Grard Morel

Browse the full INDIN paper archive.