車載システム開発における形式手法実践の現状と課題

• 青木 利晃

  北陸先端科学技術大学院大学 先端科学技術研究科 情報科学系

書誌事項

タイトル別名

• Practical Applications of Formal Methods to Automotive Systems-Current and Future Directions
• シャサイ システム カイハツ ニ オケル ケイシキ シュホウ ジッセン ノ ゲンジョウ ト カダイ

収録刊行物

• システム／制御／情報

  システム／制御／情報 62 (4), 134-140, 2018-04-15

  一般社団法人 システム制御情報学会

キーワード

• formal methods
• formal verification
• automotive systems

詳細情報

• CRID: 1390845713012013184
• NII論文ID: 130007498124
• NII書誌ID: AN10062329
• DOI: 10.11509/isciesci.62.4_134
• ISSN: 24241806
• ISSN: 09161600
• NDL書誌ID: 028937067
• Web Site: http://id.ndl.go.jp/bib/028937067
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I028937067
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • NDL
  • CiNii Articles
  • KAKEN