Approximate Model Checking Using a Subset of First-order Logic (IPSJ Transactions on System LSI Design Methodology Vol.3)
スポンサーリンク
概要
情報処理学会 | 論文
- View Schemas for XML Access Control (夏のデータベースワークショップDBWS2004)
- 異種クライアント環境における連続メディアデータの分割放送型スケジューリング手法
- 商品位置情報を活用したショッピング支援エージェントシステムの構築
- 遠隔商品管理向けマルチエージェントシステムの構築
- 細胞モデルの連立常微分方程式に対する可解要件と数値計算手順の解析