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