6. Modélisation F#

6.1. Caractéristiques de la modélisation#

Cette modélisation est identique à la modélisation B, à l’exception que l’on se place ici que le formalisme de lèvres décollées (mot clé CONFIG_INIT de DEFI_FOND_FISS renseigné à la valeur DECOLLEE). Aucune raison physique ne justifie ce choix de formalisme, le test étant réalisé uniquement à des fins de couverture informatique.

Les résultats sont identiques à ceux de la modélisation B.