Программы mcmas-sc.sf.net

Новая модель проверки, называется MCMAS-SC, для проверки социальных обязательств и их выполнения. Это extenstion mcMAS модель проверки для поддержки проверки логики CTLC.