Shih Tiffany | Department of Medical Imaging and Radiology, National Taiwan University & Hospital
スポンサーリンク
概要
- Shih Tiffany Ting-Fangの詳細を見る
- 同名の論文著者
- Department of Medical Imaging and Radiology, National Taiwan University & Hospitalの論文著者
論文 | ランダム
- 1B-4 実時間スケジューリングを想定したエレベータシステムヘのモデル検査適用(プログラム検証と品質管理,一般セッション,ソフトウェア科学・工学)
- 2L-1 モデル検査に対応する上位ハードウェア記述言語MelasyとXML中間表現(上流設計技術,学生セッション,アーキテクチャ)
- 3A-2 強連結成分ベースのグラフ分割による分散並列LTLモデル検査の高速化(高性能計算,一般セッション,アーキテクチャ)
- 分散並列型SATソルバにおける探索空間の分割手法の提案
- 新・組み込みソフトへの数理的アプローチ(第7回)組み合わせ問題とLTSA--モデル検査ツールで組み合わせパターンを列挙する