JAIST Repository >

Items for Author "Vu, Dieu-Huong"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 1 items.

Date of IssueTitle Authors
18-Apr-2014 Model Checking Conformance of Design Model to Its Formal SpecificationVu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki


Contact : Library Information Section, Japan Advanced Institute of Science and Technology