Retourner au contenu associé (dépêche : Core Infrastructure Initiative)
Posté par Nicolas Boulay (site web personnel) le 24 mai 2014 à 16:01. En réponse à la dépêche Core Infrastructure Initiative. Évalué à 2.
Pour info, je bosse pour Esterel. Si tu inclus SCADE dans les outils formels, je comprends ton point de vue. Mais cela ne fait pas de vérification formelle à part le bloc DV qui n'est pas utilisable en DO-178.
"La première sécurité est la liberté"
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: On verra
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Core Infrastructure Initiative. Évalué à 2.
Pour info, je bosse pour Esterel. Si tu inclus SCADE dans les outils formels, je comprends ton point de vue. Mais cela ne fait pas de vérification formelle à part le bloc DV qui n'est pas utilisable en DO-178.
"La première sécurité est la liberté"