Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version)

スポンサーリンク

概要

• 論文の詳細を見る
• 2010-03-10

著者

• Ogata Kazuhiro

  Japan Advanced Institute Of Science And Technology (jaist)

• Zhang Min

  Japan Advanced Institute of Science and Technology (JAIST)

• Ogata Kazuhiro

  Japan Advanced Inst. Of Sci. And Technol. (jaist)

関連論文

• Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version)
• Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support
• FOREWORD

スポンサーリンク