自動制御連合講演会講演論文集
第63回自動制御連合講演会
セッションID: 2H3-3
会議情報

第63回自動制御連合講演会
A preliminary study on specification translation from timed OTS/CafeOBJ specifications to UPPAAL specifications
*中村 正樹
著者情報
会議録・要旨集 フリー

詳細
記事の1ページ目
著者関連情報
© 2020 計測自動制御学会
前の記事 次の記事
feedback
Top