Search results for "Takai, Toshinori" | NDL Search

Search results 6

Group by title

D-case pocket book : let's write dependability cases!

Paper図書

author Yutaka Matsuno, Toshinori Takai, Shuichiro YamamotoAsset Management2012.10<M159-B151>

National Diet Library

Authority（Author Heading/altLabel）Matsuno, Yutaka Takai, Toshinori Yamamoto, Shuichiro

D-case入門 : ディペンダビリティ・ケースを書いてみよう!

Paper図書

松野裕, 高井利憲, 山本修一郎著ダイテックホールディング2012.8<M159-L456>

National Diet Library

Authority（Author Heading/altLabel）Matsuno, Yutaka Takai, Toshinori Yamamoto, Shuichiro

Automatic Approach to Prepare Information for Constructing an Assurance Case

Digital文書・図像類

Chindamaikul, Khana, Takai, Toshinori, Port, Daniel, Iida, HajimuNara Institute of Science and Technology2014-12Information Science Technical ReportTR2014002

Available onlineOther Libraries in Japan

Author HeadingChindamaikul, Khana Takai, Toshinori Port, Daniel Iida, Hajimu

A decidable subclass of term rewriting systems which effectively preserve recognizability

Paper博士論文

Toshinori Takai [著][Toshinori Takai]2002<UT51-2002-J379>

National Diet Library

A decidable subclass of term rewriting systems which effectively preserve recognizability

Digital博士論文

高井, 利憲Nara Institute of Science and Technology2002-03-22

Other Libraries in Japan

A sufficient condition for the termination of the procedure for solving an order-sorted unification problem

Digital文書・図像類

Takai, Toshinori, Kaji, Yuichi, Seki, HiroyukiNara Institute of Science and Technology1999-08Information Science Technical ReportTR99010

Available onlineOther Libraries in Japan

Author HeadingTakai, Toshinori Kaji, Yuichi Seki, Hiroyuki

Reached to the end of result.

RSS