引当金,偶発負債及び偶発資産--国際会計基準(IAS)第37号

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• モデル検査によるアーキテクチャ設計検証(アーキテクチャ)
• UMLステートダイアグラムの亜種を用いた組み込みソフトウェア振舞い解析(分析・設計技法)
• 機能論理検証問題における組合せ問題の利用 : 充足可能性問題を解法エンジンとして利用する世界(グラフ, ペトリ, ニューラルネット及び一般)
• Webサービスフローの軽量形式解析
• 効率の良いモデル空間探査のための抽象化

もっと見る

スポンサーリンク