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},
}