|
|
|
|
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 |
| 2117957 | 18 |  | 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 | 13 |  | 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 | 25 |  | 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 | 28 |  | 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 |
| 2114938 | 60 |  | Rayna Dimitrova | Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15 16, 2024, ... Part II (Lecture Notes in Computer Science) | 2024 | pdf | 4/8/2024 1:55:47 AM | stirkout |
| 2114940 | 66 |  | Jianghua Liu | Tools for Design, Implementation and Verification of Emerging Information Technologies: 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, ... and Telecommunications Engineering) | 2024 | pdf | 4/7/2024 3:19:36 PM | stirkout |
| 2114763 | 74 |  | Shui Yu | Tools for Design, Implementation and Verification of Emerging Information Technologies: 17th EAI International Conference, TridentCom 2022, Melbourne, ... and Telecommunications Engineering, 489) | 2024 | pdf | 4/6/2024 1:17:08 AM | topron |
| 2114389 | 19 |  | Rayna Dimitrova | Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15 16, 2024, ... Part I (Lecture Notes in Computer Science) | 2024 | pdf | 4/3/2024 11:32:35 PM | topron |
| 2101643 | 88 |  | Arild Velure | A Digital Signal Processor for Particle Detectors: Design, Verification and Testing (Springer Theses) | 2024 | rar | 2/1/2024 7:23:12 PM | alex21s |
| 2085968 | 103 |  | Panagiotis Katsaros | Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings | 2023 | epub, pdf | 11/20/2023 6:21:59 PM | tvladb77 |
|
|
|
|
|