CTL An implementation of STM in C, based on TL2 but with many extensions and optimizations. |
CTL реализация STM в C, основанная на TL2, но со многими расширениями и оптимизациями. |
In 1954, the Compagnie des Tramways Electriques de Limoges (CTEL) became the Compagnie des Trolleybus de Limoges (CTL). |
В 1954 году Лиможская электрическая трамвайная компания (CTEL) становится Лиможской троллейбусной компанией (CTL). |
The latter combines a multiple-modal logic (with modalities representing beliefs, desires and intentions) with the temporal logic CTL*. |
В BDICTL объединены много-модальная логика (описывающая в модальностях убеждения, желания и намерения) и темпоральная логика CTL*. |
DC with appropriate genetic modifications may survive long enough to stimulate antigen-specific CTL and after that be completely eliminated. |
После инъекции они могут выжить достаточно долго, чтобы стимулировать антиген-специфические CTL, после чего могут быть полностью устранены. |