Публикации: Титовская Татьяна Сергеевна

  1. ВЕРИФИКАЦИЯ, ПРИМЕНЯЕМАЯ ПРИ СИНТЕЗЕ СБИС [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Наука и образование: опыт, проблемы, перспективы развития
    присутствует в eLIBRARY.RU
  2. ВЕРИФИКАЦИЯ, ПРИМЕНЯЕМАЯ ПРИ СИНТЕЗЕ СБИС [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, НАУКА В СОВРЕМЕННОМ ОБЩЕСТВЕ: ЗАКОНОМЕРНОСТИ И ТЕНДЕНЦИИ РАЗВИТИЯ
    присутствует в eLIBRARY.RU
  3. ПРОБЛЕМЫ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРИ ПРОЕКТИРОВАНИИ СБИС [доклад, тезисы доклада, статья из сборника материалов конференций]
    2014, ТЕОРИЯ И ПРАКТИКА НАУКИ ТРЕТЬЕГО ТЫСЯЧЕЛЕТИЯ
    присутствует в eLIBRARY.RU
  4. Формальная верификация при проектировании сверхбольших интегральных схем [статья из журнала]
    2014, Вестник Красноярского государственного аграрного университета
    присутствует в eLIBRARY.RU (3 цит.)
  5. AN APPROACH TO HARDWARE DESIGN fLOW BASED ON fUNCTIONAL LANGUAGE PIfAGOR [доклад, тезисы доклада, статья из сборника материалов конференций]
    2014, Applied and Fundamental Studies : Proceedings of the 5th International Academic Conference
    присутствует в eLIBRARY.RU

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.