Вы здесь

Главная

комбинирование

Связанные издания:

Engineering Trustworthy Software Systems: Tutorial Lecture/1st International School, SETSS 2014, Chongqing, China, September 2014
Frontiers of Combining Systems: Proc./5th International Workshop, FroCos 2005. Vienna, Austria, September 2005
Frontiers of Combining Systems: Proc./6th International Symposium, FroCoS 2007. Liverpool, UK, September 2007
Верификация комбинированных логик знаний, действий и времени в моделях