Zobrazeno 1 - 2
of 2
pro vyhledávání: '"modèles de propagation de défaillances"'
Autor:
Prosvirnova, Tatiana, Seguin, Christel, Frazza, Christophe, Saez, Estelle, Machin, Mathilde, de Bossoreille, Xavier, Gauthier, Jean, Darfeuil, Pierre, Deschamp, Frédéric
Le langage AltaRica a été conçu pour faciliter la modélisation de la propagation de défaillances et les analyses de sécurité dans les systèmes complexes. Ainsi, il permet plus particulièrement de modéliser la dynamique fonctionnelle (change
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::df0aae3eabd5b6819274fd8af806cf6d
https://hal.archives-ouvertes.fr/hal-03877961
https://hal.archives-ouvertes.fr/hal-03877961
Autor:
BOULANGER Jean-Louis
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.Diff