代数仕様に基づく実時間システムの検証 von 緒方, 和博

Volltext

ソフトウェアサイエンス研究会（SS研）の紹介 von 緒方, 和博

Volltext

CafeOBJ入門(5) 認証プロトコルの検証 von 緒方, 和博, 二木, 厚吉, 中村, 正樹

Volltext

CafeOBJ入門(6) 通信プロトコルの検証 von 緒方, 和博, 二木, 厚吉, 中村, 正樹

Volltext

Maude：書換え論理に基づく計算機言語および処理系 von 緒方, 和博, 中村, 正樹, 二木, 厚吉

Volltext

フォルトツリー解析からOTS/CafeOBJによるシステムの形式仕様記述および検証へ von 向, 剣文, 緒方, 和博, 孔, 維強, 二木, 厚吉

Volltext

書き換えによるセキュリティプロトコルの帰納的検証 von 緒方, 和博, 二木, 厚吉

Volltext

項書換えを用いた安全性検証の組織化 von 清野, 貴博, 緒方, 和博, 二木, 厚吉

Volltext

MultithreadSmalltalkのオブジェクト割付けの改善 : 複数プロセスでのオブジェクト割付けの効率化 von 緒方, 和博, 土居, 範久

Volltext

プログラミング言語の設計と実現に関するACM SIGPLAN '92会議PLDI von 緒方, 和博

Volltext

CafeOBJ入門(4) 証明譜による検証法 von 二木, 厚吉, 緒方, 和博, 中村, 正樹

Volltext

CafeOBJ入門(3) 等式推論と項書換システム von 中村, 正樹, 二木, 厚吉, 緒方, 和博

Volltext

CafeOBJ入門(2) 構文と意味 von 中村, 正樹, 二木, 厚吉, 緒方, 和博

Volltext

CafeOBJ入門(1) 形式手法とCafeOBJ von 二木, 厚吉, 緒方, 和博, 中村, 正樹

Volltext

Introducing CafeOBJ (6) : Verification of a Communication Protocol von OGATA, Kazuhiro, FUTATSUGI, Kokichi, NAKAMURA, Masaki

Volltext

熊本県下における放射能調査(平成16年度) von 北岡, 宏道, 木山, 雅文, 上野, 一憲, 緒方, 和博, 矢野, 弘道

Volltext

室内におけるホルムアルデヒド及びアセトアルデヒド濃度実態調査 von 木山, 雅文, 上野, 一憲, 北岡, 宏道, 緒方, 和博, 松崎, 達哉, 矢野, 弘道

Volltext

Introducing CafeOBJ (5) : Verification of an Authentication Protocol von OGATA, Kazuhiro, FUTATSUGI, Kokichi, NAKAMURA, Masaki

Volltext

From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ von Xiang, Jianwen, Ogata, Kazuhiro, Kong, Weiqiang, Futatsugi, Kokichi

Volltext

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi von Iida, Shusaku, Meseguer, José, Ogata, Kazuhiro

Volltext