同期型言語を用いたソフトウェア検証：クルーズコントロールシステムにおける事例紹介

DOI

書誌事項

タイトル別名
  • Software Verification by Synchronous Language: A Case Study of Cruise Control Systems.

収録刊行物

詳細情報 詳細情報について

  • CRID
    1390282679715002240
  • NII論文ID
    130004549066
  • DOI
    10.11309/jssst.23.3_85
  • ISSN
    02896540
  • 本文言語コード
    ja
  • データソース種別
    • JaLC
    • CiNii Articles

問題の指摘

ページトップへ