Formal verification of ECML hybrid models with spaceex

• Sanghyun Yoon ^[1] ; Junbeom Yoo ^[1]
  1. [1] Konkuk University

     Konkuk University

     Corea del Sur

     
• Localización: Information and software technology, ISSN 0950-5849, Nº 92, 2017, págs. 121-144
• Idioma: inglés
• Enlaces
  • Texto completo