時相論理によるリアクティブシステム仕様の実現可能性に関する分類

コンピュータソフトウェア

Print ISSN : 0289-6540

時相論理によるリアクティブシステム仕様の実現可能性に関する分類

森亮靖, 友石正彦, 米崎直樹

著者情報

ジャーナルフリー

1998 年 15 巻 3 号 p. 3_213-3_225

DOI https://doi.org/10.11309/jssst.15.3_213

詳細

抄録

著者関連情報

© 1998, 日本ソフトウェア科学会

お気に入り & アラート

関連記事

閲覧履歴

Top