|
|
|
|
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
| | Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
| 2137492 | 28 |  | Tiziana Margaria | Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola (Lecture Notes in Computer Science) | 2024 | pdf | 11/14/2024 1:55:04 AM | topron |
| 2134208 | 52 |  | Todd A. Ricketts | Essentials of Modern Hearing Aids: Selection, Fitting, and Verification | 2024 | pdf | 10/9/2024 1:45:30 PM | alex21s |
| 2130301 | 40 |  | Omri Isac | Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science) | 2024 | pdf | 8/19/2024 7:44:11 AM | risotor |
| 2126516 | 91 |  | Nikolai Kosmatov | Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) | 2024 | pdf | 7/15/2024 4:58:13 PM | alex21s |
| 2124480 | 83 |  | Khaled Salah Mohamed | Heterogeneous SoC Design and Verification: HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging (Synthesis Lectures on Digital Circuits & Systems) | 2024 | rar | 6/26/2024 9:25:24 PM | gestalt |
| 2118585 | 211 |  | Birgit Milius | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science) | 2024 | pdf | 5/6/2024 3:41:27 AM | alex21s |
| 2117957 | 98 |  | Thao Dang | Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28 30, 2022, Proceedings (Lecture Notes in Computer Science) | 2024 | pdf | 4/30/2024 4:21:16 AM | stirkout |
| 2117888 | 87 |  | Simon Collart-Dutilleul | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail ... (Lecture Notes in Computer Science) | 2024 | pdf | 4/29/2024 3:45:58 AM | topron |
| 2116583 | 70 |  | Etienne Andre | Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24 27, 2023, Proceedings, Part I (Lecture Notes in Computer Science) | 2024 | pdf | 4/18/2024 5:05:01 AM | gestalt |
| 2116463 | 67 |  | Etienne Andre | Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24 27, 2023, Proceedings, Part II (Lecture Notes in Computer Science) | 2024 | pdf | 4/17/2024 4:14:10 AM | alex21s |
|
|
|
|
|