Kusumoto Laboratory: T. Nagaoka, K. Okano, and S. Kusumoto, Stepwise Approach to Design of Real-Time Systems Based Uml/Ocl with Formal Verification, September 2008.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
Tweet
T. Nagaoka, K. Okano, and S. Kusumoto, "Stepwise Approach to Design of Real-Time Systems Based Uml/Ocl with Formal Verification," In Proceedings of International Workshop on Informatics, pp. 98-105, September 2008.
ID 47
分類 国際会議
タグ stepwise design real-time uml/ocl formal verification
表題 (title) Stepwise Approach to Design of Real-Time Systems Based Uml/Ocl with Formal Verification
表題 (英文)
著者名 (author) Takeshi Nagaoka,Kozo Okano,Shinji Kusumoto
英文著者名 (author) Takeshi Nagaoka,Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Takeshi Nagaoka,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) Proceedings of International Workshop on Informatics
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 98-105
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 9
出版年 (year) 2008
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 0 (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id47,
         title = {Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification},
        author = {Takeshi Nagaoka and Kozo Okano and Shinji Kusumoto},
     booktitle = {Proceedings of International Workshop on Informatics},
         pages = {98-105},
         month = {9},
          year = {2008},
}
  

Search

Tags

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

Language: 英語 | 日本語 || ログイン |

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