Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems

Kazuya Aizawa, Kenji Tei, Shinichi Honiden

研究成果: Conference contribution

フィンガープリント

「Analysis space reduction with state merging for ensuring safety properties of self-adaptive systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Business & Economics

Engineering & Materials Science

Earth & Environmental Sciences

Social Sciences