表紙画像

On Verifying Temporal Properties of Configurable Software

保存先:
出版年:The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2023)
第一著者: Dimovski, Aleksandar S
その他の著者: Fetaji, Bekim
出版事項:
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
主題:
Benchmarks
Decision trees
Configurable programs
Safety critical
Software
Economic
オンライン･アクセス:Citation/Abstract
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!