cx a22 3 45 125098448 http://www.idref.fr/125098448 20080623 20230904164127.000 912282101 384219701 Tp5 0000000047289113 ISNI VIAF 20200401 http://catalogue.bnf.fr/ark:/12148/cb166907166 BNF VIAF 20210826 FRBNF16690716 http://viaf.org/viaf/66298614 VIAF TOUL'AO 20200401 55911679100 SCOPUSID TOUL'AO 20200807 20080623afrey50 ba0 fre 639-2 FR 19XX 0 1 0 aa AFNOR ba0yba0y 0 Wiels Virginie 19..-.... ba0yba0y Ingénieur de recherches (ONERA, CERT à Toulouse). Rapporteur d'une thèse en Informatique soutenue à Grenoble Alpes en 2019 SCANR 102020 ESR FR Abes 20230904 AFNOR ISoLa 2007 workshop on leveraging applications of formal methods, verification and validation / guest editors Yamine Aït-Ameur,... Frederic Boniol,... and Virginie Wiels,..., DL 2007 ParTraP : Un langage pour la spécification et vérification à l'exécution de propriétés paramétriques / Yoann Blein ; sous la direction de Yves Ledru et codirigée par Lydie Du Bousquet. Thèse de doctorat : Informatique : Grenoble Alpes : 2019 Maître de recherche, ONERA Centre Midi Pyrenées Internet, http://www.cert.fr/francais/deri/wiels/, 2008-06-23 Wiels, Virginie (19..-....)