岡村 早雄 | 科研製薬株式会社 新薬創生センター 薬物動態・安全性部
スポンサーリンク
概要
論文 | ランダム
- イベント順序に基づくFDTからの有限状態機械モデルの生成
- 状態遷移表への変換を前提としたイベント順序に基づくプロトコル形式記述
- プロトコルの段階的詳細化を支援するプロトタイピング・ツール
- 通信プロトコルにおける状態遷移表現の自動生成の一方式
- Novel antifungal compounds produced by Sterile Dark, an unidentified wheat rhizosphere fungus