昨日の夜と早朝でなんとか修正。いろいろ直した。 LTSとプロセスと状態遷移機械がごちゃごちゃだったのでなおした 順序制約[tes:\psi]の間違えの修正 順番をかえた コマンドの説明を追加して、構造をもつMSCからの合成のイメージを出した 複雑性への言及 い…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。