Caricamento...
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...
Salvato in:
| Pubblicato in: | Fundamental Approaches to Software Engineering |
|---|---|
| Autori principali: | , , |
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
2020
|
| Soggetti: | |
| Accesso online: | 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: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !
|