Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

論文誌
[1] Takeshi Nagaoka, Eigo Nagai, Kozo Okano, and Shinji Kusumoto, "Stepwise Approach to Design of Real-Time Systems Based Uml/Ocl with Formal Verification," International Journal of Informatics Society (IJIS), volume 1, number 2, pages 37-44, September 2009.

Search

Tags

この検索内の頻出タグ: approach:1 design:1 formal:1 real-time:1 stepwise:1 systems:1 uml/ocl:1 verification:1

1 件の該当がありました. : このページのURL : HTML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.8 build 20170915 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.047584 seconds.