Initialism of linear temporal logic.
LTL
研究者はシステムの安全要件を記述するために線形時相論理を用いた。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★