Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software
['Yajun WU', 'Satoshi YAMANE']
/
IEICE Transactions in Information and Systems
/ Vol. 103
/ No. 4
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？