On applicability of formal methods and tools to dependable services

Fuyuki Ishikawa, Shinichi Honiden

研究成果: Article査読

フィンガープリント 「On applicability of formal methods and tools to dependable services」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science