Kazan (Volga region) Federal University, KFU
KAZAN
FEDERAL UNIVERSITY
 
RSS Ins Вконтакте twitter facebook
MARIMBA: A TOOL FOR VERIFYING PROPERTIES OF HIDDEN MARKOV MODELS
Form of presentationArticles in international journals and collections
Year of publication2015
Языканглийский
  • Magid Evgeniy Arkadevich, author
  • Bibliographic description in the original language 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.
    Annotation The 13th International Symposium on Automated Technology for Verification and Analysis
    Keywords Verifying Properties, Hidden Markov Models
    The name of the journal Lecture Notes in Computer Science
    Please use this ID to quote from or refer to the card https://repository.kpfu.ru/eng/?p_id=149750&p_lang=2
    Resource files 
    File name Size (MB) Format  
    F_2015_Marimba_A_Tool_for_Verifying_Properties_of__idden_Markov_Models.pdf 0,68 pdf show / download

    Full metadata record