RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.

Y. Fukazawa, K. Hirose, K. Hosokawa, M. Sakakura, K. Utsunomiya, S. Yamada, S. Yoon

研究成果: Conference contribution

フィンガープリント 「RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science