External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Learning for Verification in Embedded Systems: A Case Study

Ali Khalili, Massimo Narizzano, Armando Tacchella. Learning for Verification in Embedded Systems: A Case Study. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea, editors, AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings. Volume 10037 of Lecture Notes in Computer Science, pages 525-538, Springer, 2016. [doi]

Authors

Ali Khalili

This author has not been identified. Look up 'Ali Khalili' in Google

Massimo Narizzano

This author has not been identified. Look up 'Massimo Narizzano' in Google

Armando Tacchella

This author has not been identified. Look up 'Armando Tacchella' in Google
runs on