Sergey Baranov

Suggest Changes
Learn More
Gained experience to rapid developing of software tools for investigating real-time multi-tasking through simulation of the behavior of respective formal models is described. The approach is based on(More)