| |||
характеристики безопасности | |||
свойства безопасности (ssn) | |||
| |||
свойство безопасности (применительно к конечным автоматам заключается в корректности всех выполняемых в соответствии с заданным протоколом операций) | |||
свойство безопасности (свойство программы, утверждающее, что ничего опасного не произойдет, т.е. что программа никогда не достигнет опасного состояния. Частичная корректность, взаимное исключение и отсутствие взаимных блокировок – типичные примеры свойства безопасности ssn) |
safety properties: 9 a las frases, 5 temas |
Caspio | 1 |
Diplomacia | 1 |
General | 1 |
Programación | 5 |
Software | 1 |