Generating Linear Temporal Logics Based on Property Specification Templates

Weibin Luo, Hironori Washizaki*, Yoshiaki Fukazawa

*この研究の対応する著者

研究成果: Chapter

フィンガープリント

「Generating Linear Temporal Logics Based on Property Specification Templates」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science