
	Chemical structure search How to Search	Import MOLfile format is only available (V3000 format is not available) Exact match Substructure search Superstructure search Substructure or superstructure search Similarity search

Details
Related links

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr

J-GLOBAL ID：200901061739818700 Update date: Jul. 24, 2024

劉少英

Lectures and oral presentations (6)

形式仕様に基づくテストにおけるテストスクリプト自動生成
(情報処理学会第79回全国大会 2017)
形式仕様に基づくテストケースの自動生成とテスト結果の自動評価
(情報処理学会第79回全国大会 2017)
形式仕様に基づくテストケース自動生成
(情報処理学会第77回全国大会 2015)
実用性が高い形式工学手法と支援ツールの研究開発
(第2回産学連携のためのソフトウェア・シンポジウム 2014)
SOFLの研究開発の経験による形式手法の課題の考察
(ウィンターワークショップ2014 2014)
実用性が高い形式工学手法と支援ツールの研究開発
(第1回産学連携のためのソフトウェア・シンポジウム 2013)

1 to 6 of 6 results


	Free word	※Add the following synonyms, you can increase the number of hits.




		～

劉 少英