 |
| |||
| safety properties (ssn); security features (ssn) | |||
| |||
| safety property (применительно к конечным автоматам заключается в корректности всех выполняемых в соответствии с заданным протоколом операций) | |||
| safety property (свойство программы, утверждающее, что ничего опасного не произойдет, т.е. что программа никогда не достигнет опасного состояния. Частичная корректность, взаимное исключение и отсутствие взаимных блокировок – типичные примеры свойства безопасности ssn) | |||
| свойства безопасности: 23 a las frases, 5 temas |
| Electrónica | 2 |
| Energía nuclear y de fusión | 1 |
| Industria energetica | 9 |
| Programación | 10 |
| Seguridad de la información y protección de datos | 1 |