Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
 
RSS Ins Вконтакте twitter facebook
MARIMBA: A TOOL FOR VERIFYING PROPERTIES OF HIDDEN MARKOV MODELS
Форма представленияСтатьи в зарубежных журналах и сборниках
Год публикации2015
Языканглийский
  • Магид Евгений Аркадьевич, автор
  • Библиографическое описание на языке оригинала Noe Hernandez, Kerstin Eder, Evgeni Magid, Jesus Savage and David Rosenblueth. Marimba: A Tool for Verifying Properties of Hidden Markov Models. The 13th International Symposium on Automated Technology for Verification and Analysis. In Lecture Notes in Computer Science, Vol. 9364, ISBN 978-3-319-24952-02015, Springer International Publishing, pp 201-206.
    Аннотация The 13th International Symposium on Automated Technology for Verification and Analysis
    Ключевые слова Verifying Properties, Hidden Markov Models
    Название журнала Lecture Notes in Computer Science
    Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку https://repository.kpfu.ru/?p_id=149750
    Файлы ресурса 
    Название файла Размер (Мб) Формат  
    F_2015_Marimba_A_Tool_for_Verifying_Properties_of__idden_Markov_Models.pdf 0,68 pdf посмотреть / скачать

    Полная запись метаданных