Title | Citations | PageRank | Year |
---|---|---|---|
Hanfor - Semantic Requirements Review at Scale. | 0 | 0.34 | 2021 |
On Formal Verification of ACT-R Architectures and Models. | 0 | 0.34 | 2019 |
But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. | 0 | 0.34 | 2018 |