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.

Implementer

Software Engineering

Go to the list of projects