Á lódáil...
Towards a Shared Specification Repository
Many formal methods research communities lack a shared set of benchmarks. As a result, many research articles in the past have evaluated new techniques on specifications that are specifically tailored to the problem or not publicly available. While this is great for proving the concept in question,...
Na minha lista:
| Foilsithe in: | Rigorous State-Based Methods |
|---|---|
| Main Authors: | , , |
| Formáid: | Artigo |
| Teanga: | Inglês |
| Foilsithe: |
2020
|
| Ábhair: | |
| Rochtain Ar Líne: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7242027/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_22 |
| Clibeanna: |
Cuir Clib Leis
Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!
|