Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE
Naoshi Uchihira, Shinichi Honiden
研究成果: Article › 査読
4
被引用数
(Scopus)