| |||
exclusion of configurations (метод доказательства таких свойств безопасности, как, напр., взаимное исключение и отсутствие взаимной блокировки. Процесс P1 не может находиться в состоянии, удовлетворяющем условию A1, одновременно с пребыванием процесса P2 в состоянии, удовлетворяющем условию A2, если (A1 ˄ A2) = = false ssn) |
исключение конфигураций : 1 phrase in 1 subject |
Technology | 1 |