能美 健彦 | 国立医薬品食品衛生研究所 安全性生物試験研究センター
スポンサーリンク
概要
論文 | ランダム
- イベント順序に基づくFDTからの有限状態機械モデルの生成
- 状態遷移表への変換を前提としたイベント順序に基づくプロトコル形式記述
- プロトコルの段階的詳細化を支援するプロトタイピング・ツール
- 通信プロトコルにおける状態遷移表現の自動生成の一方式
- Novel antifungal compounds produced by Sterile Dark, an unidentified wheat rhizosphere fungus