Φορτώνει......
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,...
Αποθηκεύτηκε σε:
| Τόπος έκδοσης: | Rigorous State-Based Methods |
|---|---|
| Κύριοι συγγραφείς: | , , |
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
2020
|
| Θέματα: | |
| Διαθέσιμο Online: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7242027/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_22 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|