[IEEE 2010 IEEE Region 10 Conference (TENCON 2010) - Fukuoka (2010.11.21-2010.11.24)] TENCON 2010 - 2010 IEEE Region 10 Conference - A framework for formal specification considering review and specification-based testing
Nakatsugawa, Yasumasa, Kurita, Taro, Araki, KeijiroYear:
2010
Language:
english
DOI:
10.1109/tencon.2010.5685922
File:
PDF, 119 KB
english, 2010