( en | de | ru )

 

Disambiguation of "Bouquet, Fabrice"

Author of the publication

copydeleteadd this publication to your clipboard
Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B.

, , , and . JFPLC, page 125-144. Hermes, (2000)

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.

Antoine Bouquet

Fritz Bouquet

Stefanie Bouquet

Fabrice Lacombe

Fabrice Nahon

 

Other publications of authors with the same name

Requirements traceability in automated test generation: application to smart card software validation., , , , and . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 1-7 (2005)Mastering Test Generation from Smart Card Software Formal Models., , , and . CASSIS, volume 3362 of Lecture Notes in Computer Science, page 70-85. Springer, (2004)Promote Competency-Based Training Approach in Quality, Regulatory and Clinical Affairs to Improve MD/IVDD Safety and Performance., , , , , , , , , and 3 other author(s). BIOSTEC (1), page 842-851. SCITEPRESS, (2024)An Approach for Testing False Data Injection Attack on Data Dependent Industrial Devices., and . J. Univers. Comput. Sci., 27 (7): 774-792 (2021)Faster Analysis of Formal Specifications., , , and . ICFEM, volume 3308 of Lecture Notes in Computer Science, page 239-258. Springer, (2004)Solving Over-Constrained CSPs Using Weighted OBDDs., and . Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, page 293-308. Springer, (1995)Test Generation Using Symbolic Animation of Models., , , , , , and . Model-Based Testing for Embedded Systems, CRC Press, (2011)Ramos: Concurrent writing and reconfiguration for collaborative systems., , , , and . J. Parallel Distributed Comput., 72 (5): 637-649 (2012)A subset of precise UML for model-based testing., , , , , and . A-MOST, page 95-104. ACM, (2007)Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS., , , and . MODELSWARD, page 123-128. SciTePress, (2013)