Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

Lebedev M.S.

Institute for System Programming of the Russian Academy of Sciencies

Listing of all the works of the author. Click on the work title to get the full information.

2016
		Lebedev M.S., Smolov S.A. A Method of Functional Test Generation for HDL Descriptions Based on Model Checking of High-Level Decision Diagrams