![]() БИБЛИОТЕК БЕЛАРУСИ | История поисков |
Базовый поиск | Расширенный поиск | Cловари | ГРНТИ | Новые поступления |
---|
Справка
Мишра, Прабхат (автоматизация) |
Доктор наук (Ph.D., 2004). Адъюнкт-профессор кафедры компьютерных и информационных наук Университета штата Флорида.
Исследовательские интересы: автоматизация проектирования встроенных систем, вычисление энергопотребления, верификация аппаратных средств, программного обеспечения и проектирование безопасных систем.
Вариантная форма имени
Mishra, Prabhat (автоматизация) (английский язык) |
Источники информации
Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием / Минсон Чэнь и др. ; перевод с английского Е. Б. Махияновой ; под ред. А. Н. Лапцева. — Москва, 2014. (Информация: 4 страница обложки, с. 17.)
Чтобы вернуться назад, щелкните кнопку BACK на Вашем браузере
© Государственное учреждение "Национальная библиотека Беларуси", 2015-2024 © Поисковая система разработана Объединенным институтом проблем информатики НАН Беларуси |