抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文では,モバイルシステム開発における自動変換ルール適用のためのシステムを実証した。我々の応用は自動変換規則の正当性と一貫性を可能にし,自動モデル変換に及ぼすEgyedの研究[2]を利用した。著者らのアプローチは実行viafinite状態自動化発生,著者らの以前の研究の拡張である。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】