Browsing byAuthorSilva, A
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
2005-01 | Requirements elicitation for complex systems: Theory and Practice | Coulin, CR; Zowghi, D; Mate, JL; Silva, A |
2021-01-01 | Robustness Verification of Quantum Classifiers | Guan, J; Fang, W; Ying, M; Silva, A; Leino, KRM |