Jump to main content

yr 〜
yr

Search results 5

ソフトウェア工学の基礎 28 (レクチャーノート/ソフトウェア学 ; 47)

ソフトウェア工学の基礎 28 (レクチャーノート/ソフトウェア学 ; 47)
PaperDigital図書
近代科学社Digital2021.11<M154-M366>
National Diet LibraryOther Libraries in Japan

A study of model checking techniques with emphasis on program verification and probabilistic analysis

A study of model checking techniques with emphasis on program verification and probabilistic analysis
Paper博士論文
Toshifusa Sekizawa [著][Toshifusa Sekizawa][2009]<UT51-2009-C481>
National Diet Library

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)
Paper図書
近代科学社2013.11<M159-L297>
National Diet LibraryOther Libraries in Japan

Abstraction of programs in PML (Pointer Manipulation Language)

Abstraction of programs in PML (Pointer Manipulation Language)
Digital文書・図像類
Takahashi, Koichi, Tanabe, Yoshinori, Sekizawa, Toshifusa, Yuasa, Yoshifumi2009-09-22p.1-33
Other Libraries in Japan
  • Author HeadingTakahashi, Koichi Tanabe, Yoshinori Sekizawa, Toshifusa Yuasa, Yoshifumi

A Case Study : Analyzing the One Dimensional Ising Model by Probabilistic Model Checking

A Case Study : Analyzing the One Dimensional Ising Model by Probabilistic Model Checking
Digital文書・図像類
Sekizawa, Toshifusa, Tsuchiya, Tatsuhiro, Kikuno, Tohru, Takahashi, Koichi2008-03-03p.1-21
Other Libraries in Japan
  • Author HeadingSekizawa, Toshifusa Tsuchiya, Tatsuhiro Kikuno, T...

Reached to the end of result.

RSS