2015
Conference information
Host: The Institute of Industrial Applications Engineers
Name : IIAE Annual Conference 2015
Number : 3
Location : [in Japanese]
Date : September 04, 2015
Software Test of Reactive Systems Using a Model Checking Tool
Pages 42-43
Details
