田原, 康之
VIAF ID: 255616958 ( Personal )
Permalink: http://viaf.org/viaf/255616958
Preferred Forms
- 100 1 _ ‡a 田原, 康之
- 100 1 _ ‡a 田原, 康之
- 100 1 _ ‡a 田原, 康之
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
SPINによる設計モデル検証 = Design model verification by SPIN : モデル検查の実践ソフトウェア検証 | |
Uparu ni yoru seino moderu kensho : Riaru taimu shisutemu no moderuka to sono kensho. | |
UPPAALによる性能モデル検証 = Performance Model Verification by UPPAAL : リアルタイムシステムのモデル化とその検証 |