|
|
|
|
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 |
| 1544141 | 78 |  | Tiziana Margaria, Bernhard Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings | 2018-10-29 | pdf | 5/18/2019 2:46:52 PM | alex21s |
| 1544136 | 77 |  | Tiziana Margaria, Bernhard Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings | 2018-10-30 | pdf | 5/18/2019 2:39:45 PM | alex21s |
| 1543042 | 72 |  | Tiziana Margaria, Bernhard Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Part IV (Lecture Notes in Computer Science) | 18 Dec. 2018 | pdf | 5/16/2019 11:45:12 AM | maveriks |
| 1540590 | 56 |  | Tiziana Margaria, Bernhard Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Part III (Lecture Notes in Computer Science) | 17 Dec. 2018 | pdf | 5/13/2019 10:46:35 PM | gestalt |
| 1518290 | 82 | | veraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: | Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Sympos | 2019 | PDF | 4/9/2019 8:26:14 AM | eternal |
| 1509669 | 59 |  | veraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Cha | Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Sy | 2019 | PDF | 3/26/2019 8:50:51 AM | alex21s |
|
|
|
|