システム基盤設計における仕様の抽出と記述--形式仕様記述と設計検証自動化の試み
スポンサーリンク
概要
論文 | ランダム
- 胸水細胞診と胸腔鏡にて診断した小結節状悪性胸膜中皮腫例(体腔液2, 第46回日本臨床細胞学会総会(春期大会))
- 15. 診断に苦慮した前縦隔腫瘍 : 粘液産生性腺癌の1症例(第139回日本肺癌学会関東支部会)
- 麻酔薬と生体膜の相互作用に関する研究 : 新たな相互作用測定手法の確立とその応用(日本高専学会 論文奨励賞受賞論文,第1回論文特集号)
- 1P227 局所麻酔薬と生体モデル膜との相互作用(3) : 不飽和リン脂質二分子膜への分配(生体膜・人工膜 A) 構造・物性)
- 局所麻酔薬ジブカインカチオンセンサーを用いる脂質二分子膜へのジブカインの分配測定