「1348-0901*」のOpenURLのAPI検索結果 | NDLサーチ

検索結果 66 件

タイトルでまとめる

日本ソフトウェア科学会大会論文集

紙雑誌

日本ソフトウェア科学会編日本ソフトウェア科学会1984-2019<Z14-1245>

国立国会図書館全国の図書館

別の記録形式日本ソフトウェア科学会大会講演論文集 [電子資料] (ISSN:1348-0901)
別の記録形式（ISSN）1348-0901

日本ソフトウェア科学会大会講演論文集

デジタル雑誌電子書籍・電子雑誌

日本ソフトウェア科学会2002<ISSN>

国立国会図書館

別の記録形式（ISSN）0913-5391 1348-0901

日本ソフトウェア科学会大会講演論文集

記録メディア雑誌電子資料

日本ソフトウェア科学会2000-[2013]<YH247-18>

国立国会図書館

ISSN1348-0901

Mean-Payoff制約を記述可能な線形時間論理

紙記事

冨田, 尭, Tomita, Takashi, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2012-08日本ソフトウェア科学会第29回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

頻度オペレータを導入した線形時間論理に対する統計的手法を用いた確率的モデル検査

紙記事

冨田, 尭, Tomita, Takashi, 萩原, 茂樹, Hagihara, Shigeki, 伊藤, 宗平, Ito, Sohei, 樋浦, 信, Hiura, Shin, 米崎, 直樹, YONEZAKI, NAOKI2011-09日本ソフトウェア科学会第28回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

暗号文間の関係情報を推論する体系に対する可能世界意味論

紙記事

萩原, 茂樹, Hagihara, Shigeki, 小黒, 博昭, Oguro, Hiroaki, 米崎, 直樹, YONEZAKI, NAOKI2010-09日本ソフトウェア科学会第27回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

紛失通信プロトコルを解析する形式体系の意味論

紙記事

小黒, 博昭, Oguro, Hiroaki, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2010-09日本ソフトウェア科学会第27回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

実現可能性判定コスト削減のための無限ゲーム単純化手法

紙記事

島川, 昌也, Shimakawa, Masaya, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2010-09日本ソフトウェア科学会第27回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

タブロー証明器の実装における SAT solver の利用について

紙記事

安藤, 崇央, ANDO., Takahiro, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2009-09日本ソフトウェア科学会第26回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

記述性を重視したリアクティブシステム用仕様記述言語T

紙記事

萩原, 聖貴, Hagiwara, Kiyotaka, 安藤, 崇央, ANDO., Takahiro, 島川, 昌也, Shimakawa, Masaya, 伊藤, 宗平, Ito, Souhei, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2009-09日本ソフトウェア科学会第26回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

実現可能性判定コスト削減のためのLTL構文の制限とそれによる仕様の判定法

紙記事

島川, 昌也, Shimakawa, Masaya, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2009-09日本ソフトウェア科学会第26回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

時間論理LTLの充足可能性判定を用いた遺伝子ネットワークの解析

紙記事

伊藤, 宗平, Ito, Souhei, 泉, 直子, Izumi, Naoko, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2009-09日本ソフトウェア科学会第26回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

量的関係を考慮した生体内の阻害・活性化機能の形式相互作用オントロジー

紙記事

冨田, 尭, Tomita, Takashi, 泉, 直子, Izumi, Naoko, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2008-09日本ソフトウェア科学会第25回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

記号論的暗号解析を用いた Oblivious Transfer プロトコルの解析

紙記事

小黒, 博昭, Oguro, Hiroaki, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2008-09日本ソフトウェア科学会第25回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

Structural Operational Semantics for an Idealised Object-Capability Programming Language

紙記事

米崎, 直樹, YONEZAKI, NAOKI2008-09The 26th Conference Proceedings of Japan Society for Software Science and Technology

全国の図書館

掲載誌（ISSN）1348-0901

SAT Solverを用いたリアクティブシステム仕様の有界強充足可能性判定

紙記事

島川, 昌也, Shimakawa, Masaya, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2008-09日本ソフトウェア科学会第25回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

分散オブジェクト技術を利用した段階的充足可能性判定器の実装

紙記事

安藤, 崇央, ANDO., Takahiro, 宮本, 佑樹, Miyamoto, Yuuki, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2008-09日本ソフトウェア科学会第25回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

ビジネスプロセスモデルTAPの形式オントロジーとその応用

紙記事

伊藤, 宗平, Ito, Souhei, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2007-09日本ソフトウェア科学会第24回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

暗号文から得られる部分情報に関する推論体系とその計算論に基づく意味

紙記事

萩原, 茂樹, Hagihara, Shigeki, 小黒, 博昭, Oguro, Hiroaki, 米崎, 直樹, YONEZAKI, NAOKI2007-09日本ソフトウェア科学会第24回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901

分散オブジェクト技術を利用した分散タブロー証明器の実装

紙記事

安藤, 崇央, ANDO., Takahiro, 萩原, 茂樹, Hagihara, Shigeki, 米崎, 直樹, YONEZAKI, NAOKI2007-09日本ソフトウェア科学会第24回大会講演論文集

全国の図書館

掲載誌（ISSN）1348-0901