Bektemessov, Amanzhol
Head of Chair, Ph.D.Алтайский государственный технический университет
http://www.altstu.ru
Russia, Barnaul, просп. Ленина, 46
Phone: (3852) 24-65-31
Report
- Bektemessov A.*, Kuatbaeyeva A.**
Using of model checking for combining tasks
*Алтайский государственный технический университет (Barnaul), Russia
**Университет Туран (Almaty), Kazakhstan