Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE

Naoshi Uchihira, Shinichi Honiden

研究成果: Article査読

4 被引用数 (Scopus)

フィンガープリント 「Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science