RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.'. Together they form a unique fingerprint.

Engineering & Materials Science