2007-07-23から1日間の記事一覧
MSCのライバルMTS(Modal Transition System)をやっているUchitelに対抗すべく 理論武装のため、合成派の古典論文であるPnueliの"On the synthesis of a reactive module"を読んだ。 リアクティブシステムは環境からの入力変数xに対して動作してyを環境に対し…
MSCのライバルMTS(Modal Transition System)をやっているUchitelに対抗すべく 理論武装のため、合成派の古典論文であるPnueliの"On the synthesis of a reactive module"を読んだ。 リアクティブシステムは環境からの入力変数xに対して動作してyを環境に対し…