Азембаев, А. А. Проведение валидационных процессов в производстве лекарственных средств по стандартам GMP [Электронный ресурс] : методические рекомендации / Азембаев А. А. - Алматы : Нур-Принт, 2015. - 65 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): валидационная очистка -- валидационный протокол -- валидационный процесс -- валидация процесса -- контаминация -- лекарственное средство -- отбор проб -- спецификация -- стандарт gmp Аннотация: В настоящих методических рекомендациях представлены требования «Правил организации производства и контроля качества лекарственных средств (ОМР)» для обеспечения подтверждения, необходимого для доказательства пригодности качества лекарственного препарата, на примере опытного производства РГП «Научный центр противоинфекционных препаратов». Методические рекомендации является общим руководством и устанавливает основные требования к проведению валидации процессов и условий производства лекарственных средств. Рекомендованы для предприятий, осуществляющих, независимо от их ведомственной подчиненности и форм собственности, производство лекарственных средств. Также рекомендованы для научных работников, преподавателям фармацевтических факультетов ВУЗов и других представителей в сфере лекарственного обращения. Доп.точки доступа: Демидова, З. Н. Свободных экз. нет |
Руководство по валидации мер по контролю безопасности пищевых продуктов (guidelines for the validation of food safety control measures) CAC/GL 69 – 2008 [Электронный ресурс] / пер. М. В. Межецкая. - Саратов : Ай Пи Эр Медиа, 2014. - 21 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): валидация -- контроль безопасности -- пищевая продукция -- руководство Аннотация: Настоящее руководство применяется к валидации контрольных мер на любом этапе цикла производства пищевой продукции. Настоящее руководство предназначено для его применения производственными предприятиями и правительственными органами по валидации отдельных контрольных мер, совокупностей различных контрольных мер или нескольких совокупностей контрольных мер, образующих систему контроля безопасности пищевой продукции (например, системы HACCP, GHP). Доп.точки доступа: Межецкая, М. В. \пер.\ Свободных экз. нет |
Вельдер, С. Э. Верификация автоматных программ [Электронный ресурс] : учебное пособие / Вельдер С. Э. - Санкт-Петербург : Университет ИТМО, 2011. - 245 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): автоматная программа -- валидация -- верификатор -- верификация -- по -- темпоральная логика Аннотация: В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств. Материал учебного пособия предназначен для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также студентов и аспирантов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети». Предполагается знакомство читателя с основными понятиями математической логики, дискретной математики, теории графов и теории алгоритмов. Доп.точки доступа: Лукин, М. А.; Шалыто, А. А.; Яминов, Б. Р. Свободных экз. нет |