Ivannikov Institute for System Programming of the RAS

Development of systems for standalone functional verification of the L3 and DB devices of the "Processor 1" and "Processor 2" projects using the C++TESK tool.

Start of project – 2012. End of project - 2012. Customer - MCST.


Software Engineering

Go to the list of projects