-
1دورية أكاديمية
المؤلفون: Sasaki, Shosuke
مصطلحات موضوعية: Absorbing, Complex refractive index, Deviation angle, Laser path, Light absorption, Prism, Refraction
وصف الملف: pdf
العلاقة: Results in Optics.8 p.100260; 2022-06-26; https://ir.library.osaka-u.ac.jp/repo/ouka/all/88640/ResultsOpt_8_100260.pdfTest; https://doi.org/10.1016/j.rio.2022.100260Test
الإتاحة: https://doi.org/10.1016/j.rio.2022.100260Test
https://ir.library.osaka-u.ac.jp/repo/ouka/all/88640/ResultsOpt_8_100260.pdfTest -
2دورية أكاديمية
المؤلفون: 長岡, 武志, ナガオカ, タケシ, Nagaoka, Takeshi, 伊藤, 明彦, イトウ, アキヒコ, Ito, Akihiko, 岡野, 浩三, オカノ, コウゾウ, Okano, Kozo, 楠本, 真二, クスモト, シンジ, Kusumoto, Shinji
مصطلحات موضوعية: 実時間ネットワークシステム, モデル検査, PRISM, シミュレーション, 形式的検証, Real-time Network System, Model Checking, Simulation, Formal Verification
وصف الملف: pdf
العلاقة: 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.109(170) p.37-p.42; 2009-07-30; https://ir.library.osaka-u.ac.jp/repo/ouka/all/27435/itr109_170_37.pdfTest; AN10013287
-
3دورية أكاديمية
المؤلفون: 長井, 栄吾, ナガイ, エイゴ, Nagai, Eigo, 岡野, 浩三, オカノ, コウゾウ, Okano, Kozo, 楠本, 真二, クスモト, シンジ, Kusumoto, Shinji
مصطلحات موضوعية: リアルタイム分散システム, モデル検査, PRISM, 形式的検証, Real-time Distributed System, Model Checking, Formal Verification
وصف الملف: pdf
العلاقة: 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.105(597) p.19-p.24; 2006-01-27; https://ir.library.osaka-u.ac.jp/repo/ouka/all/27429/itr105_597_019.pdfTest; AN10013287