業績一覧

シーケンス図が持つメッセージ順序の曖昧性除去手法の提案

, ,

電子情報通信学会技術研究報告, vol.114, no.510 (2015)

タグ: Sequence, Diagram, Model, Checking, Linear, Temporal, Logic, XML

@inproceedings{楠野明2015a,
  author = {楠 野明 and 岡野 浩三 and 楠本 真二},
  title = {シーケンス図が持つメッセージ順序の曖昧性除去手法の提案},
  booktitle = {電子情報通信学会技術研究報告},
  volume = {114},
  number = {510},
  year = {2015},
  month = {mar}
}