Ctl (примеров 4)
-
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, после чего могут быть полностью устранены.