Terms for subject Programming containing behavior-based

English	Russian
behavior of a time-based system	поведение контролируемой по времени системы (ssn)
behavior-based robotics	поведенческая робототехника (ssn)
neural-behavior-based	нейронный поведенчески-ориентированный (ssn)
neural-behavior-based architecture	нейронная поведенчески-ориентированная архитектура (ssn)
Thus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous manner	Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004)