Expression et validation des exigences de sécurité

Ce livre est la reprise de la thèse que j'ai présenté en 2006 et qui est le résultat de plusieurs années de recherches et de développements. Cette thèse n'aurait certainement jamais vu le jour si je n'avais pas bénéficié des conseils avisés, du soutien, des discussions enrichissantes et de l'aide constante d'un grand nombre de personnes qu'il ne m'ait pas possible de citer mais que je remercie.