ロード中...
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
|
| 主題: | |
| オンライン･アクセス: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7242027/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_22 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|