Программы waters.sf.net

Уотерс - инструмент анализа Вайкато для событий в реактивных системах.Это программное обеспечение позволит пользователям создавать модели машин с конечным состоянием в графическом пользовательском интерфейсе, имитировать их