MENDELS ZONE: A parallel program development system based on formal specifications

Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira

研究成果: Article査読

2 被引用数 (Scopus)

フィンガープリント

「MENDELS ZONE: A parallel program development system based on formal specifications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science