★主なレビューワの指摘事項 シナリオ動作でなくて、「動作シナリオ」を定義すること シナリオ図をプロセス代数で定式化 シナリオ合成の入出力の明確化 各種定義の厳密化 ★作戦 動作シナリオは、st(X),en(X)を用いた順序制約として定義する シナリオ図のプロ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。