スポンサーリンク
Graduate School of Medical Sciences, Kanazawa University | 論文
- A Proposal of Test Sequence Generation Method for Communication Protocols Using SAT Algorithm
- Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata(Concurrent/Hybrid Systems : Theory and Applications)
- Evaluation of radioiodinated vesamicol analogs for sigma receptor imaging in tumor and radionuclide receptor therapy