Record of 2021 Joint Conference of Electrical, Electronics and Information Engineers in Kyushu
Session ID : 04-2P-10
Conference information
Host: Committee of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu
Co-host: Saga University
Name : [in Japanese]
Number : 74
Location : [in Japanese]
Date : September 24, 2021 - September 25, 2021
Function addition for operations into BWDM which is a test case generation tool for the VDM++ specification
Details
