Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
Terms
for subject
Programming
containing
строгий по
|
all forms
Russian
English
Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме
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
)
Get short URL