Jump to main content

yr 〜
yr

Search results 5

高信頼性Webアプリケーション構築のための振舞い検証モデル

高信頼性Webアプリケーション構築のための振舞い検証モデル
Paper図書
結縁祥治, 名古屋大学 [著][結縁祥治]2004-2006<Y151-H16500027>
National Diet Library

Nested Timed Automata

Nested Timed Automata
Digital文書・図像類
Li, Guoqiang, Cai, Xiaojuan, Ogawa, Mizuhito, Yuen, Shoji北陸先端科学技術大学院大学情報科学研究科2013-06-11Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2013-004p.1-20
Other Libraries in Japan
  • Author HeadingLi, Guoqiang Cai, Xiaojuan Ogawa, Mizuhito Yuen, Shoji

構造的動作意味定義に基づく実時間並行ソフトウェアの構築

構造的動作意味定義に基づく実時間並行ソフトウェアの構築
Paper図書
結縁祥治, 名古屋大学 [著][結縁祥治]2001-2003<Y151-H13680408>
National Diet Library

Testing semantics and proof techniques for extended communicating process models

Testing semantics and proof techniques for extended communicating process models
PaperDigital博士論文障害者向け資料あり
結縁祥治 [著]<UT51-97-N481>
Available onlineNational Diet Library

Testing Semantics and Proof Techniques for Extended Communicating Process Models

Testing Semantics and Proof Techniques for Extended Communicating Process Models
Digital博士論文
Yuen, Shoji, 結縁, 祥治1997-03-12
Available onlineOther Libraries in Japan
  • Author HeadingYuen, Shoji 結縁, 祥治

Reached to the end of result.

RSS