NEWS
NEWS
TAG FILTERS
- EVENT
MOMO初号機打上げ実験の進捗状況について
- EVENT
Peatixでのチケット販売終了および協賛企業のお知らせ
- EVENT
観測ロケット「MOMO」初号機の打上げ実験実施について
- EVENT
IEICE Transaction(電子情報通信学会英文論文誌)/R.Ueno, N.Homma, T.Aoki and S.Morioka, “Hierarchical Formal Verification Combining Algebraic Transformation with PPRM Expansion and Its Application to Masked Cryptographic Processors”, IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E100-A, No.7, pp.1396-1408, Jul. 2017.