Documents Software engineering and standardisation section (TEC-EME) 1 Automatic test case generation from a.....

Slide 1Software engineering and standardisation section (TEC-EME) 1 Automatic test case generation from a formal model LTG technology evaluation based on a B model of a part…

Documents IDSA - Annual Report 2013-14

Annual Report 2013-2014 Institute for Defence Studies and Analyses Annual Report 2013-2014 Institute for Defence Studies and Analyses No. 1, Development Enclave, Rao Tula…