"Formal Methods in System Design"(Springer)のvol6,no3に Merging Behavior Specificationsというのがあった。 結構FSM合成のまんまだったりする(汗)。Gregor von Bochmann先生のところの論文だけど、先生はUSA嫌い?Jean-Pierre Talpin, INRIAもにたよ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。