Cargando...
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
The automated generation of graph models has become an enabler in several testing scenarios, including the testing of modeling environments used in the design of critical systems, or the synthesis of test contexts for autonomous vehicles. Those approaches rely on the automated construction of consis...
Gardado en:
| Publicado en: | Fundamental Approaches to Software Engineering |
|---|---|
| Main Authors: | , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
2020
|
| Assuntos: | |
| Acceso en liña: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7418127/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45234-6_22 |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|