Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
Danish
Dutch
Finnish
French
German
Greek
Italian
Japanese
Portuguese
Russian
Spanish
Swedish
Terms
for subject
Programming
containing
Formal System
|
all forms
|
exact matches only
|
in specified order only
English
Russian
actual formal development of the system
фактическое формальное построение системы
(
ssn
)
formal development of the system
формальное построение системы
(
ssn
)
formal logical system
формальная логическая система
(
ssn
)
formal logical systems
формальные логические системы
(
ssn
)
formal methods and critical systems
формальные методы и критические системы
(
ssn
)
formal system
of axioms and inference rules
формальная система аксиом и правил вывода
(
ssn
)
formal systems
development
формальное построение систем
(
ssn
)
formal systems
development
формальная разработка систем
(
ssn
)
formal technique of objectives definition, the sequence of actions logical control, and interference of system activity indicators deviations from the norm
формальный аппарат целеполагания, логического управления последовательностью действий и взаимовлияния отклонений от нормы показателей деятельности системы
(
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
)
Get short URL