( en | de | ru )

 

Disambiguation of "Peureux, Fabien"

Author of the publication

copydeleteadd this publication to your clipboard
An attempt to combine UML and formal methods to model airport security.

, , , , , , , and . CAiSE Forum, volume 231 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fabien Guilmineau

Fabien Gandon

Fabien Abeille

Fabien Amarger

Fabien Leurent

 

Other publications of authors with the same name

Automated Boundary Testing from Z and B., , and . FME, volume 2391 of Lecture Notes in Computer Science, page 21-40. Springer, (2002)Requirements traceability in automated test generation: application to smart card software validation., , , , and . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-7 (2005)B-Testing-Tools : génération de tests aux limites à partir de spécifications B., and . Technique et Science Informatiques, 21 (9): 1189-1218 (2002)Mastering Test Generation from Smart Card Software Formal Models., , , and . CASSIS, volume 3362 of Lecture Notes in Computer Science, page 70-85. Springer, (2004)A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing., , , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 134-152. Springer, (2015)Boundary Coverage Criteria for Test Generation from Formal Models., , , and . ISSRE, page 139-150. IEEE Computer Society, (2004)A Comparison of the BTT and TTF Test-Generation Methods., , and . ZB, volume 2272 of Lecture Notes in Computer Science, page 309-329. Springer, (2002)CLPS-B - A Constraint Solver for B., , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 188-204. Springer, (2002)Tooled Process for Early Validation of SysML Models Using Modelica Simulation., , , and . FSEN, volume 9392 of Lecture Notes in Computer Science, page 230-237. Springer, (2015)Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B., , , and . JFPLC, page 125-144. Hermes, (2000)