CUIR at Chulalongkorn University: Browsing DSpace

Browsing by Subject Formal methods (Computer science)

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ก ข ฃ ค ฅ ฆ ง จ ฉ ช ซ ฌ ญ ฎ ฏ ฐ ฑ ฒ ณ ด ต ถ ท ธ น บ ป ผ ฝ พ ฟ ภ ม ย ร ฤ ล ฦ ว ศ ษ ส ห ฬ อ ฮ
or enter first few letters:

Showing results 1 to 2 of 2

Issue Date	Title	Author(s)
2002	Formal specification synthesis using requirements particle networks	Wiwat Vatanawood
2004	Software component identification specification and classification using formal method and artificial neural networks	Sathit Nakkrasae, 1974-

Showing results 1 to 2 of 2