loading

Logout succeed

Logout succeed. See you again!

Top 1014 audits verification PDF Book Page 32

search buttonTry WiseWorksheets to  request a book.
book image

Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

authorAndrea Leitner, Daniel Watzenig, Javier Ibanez-Guzman
pages313 Pages
release year2020
file size12.983 MB

book image

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

authorKrishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)
pages413 Pages
release year2010
file size5.998 MB

book image

Generalized Continua and Dislocation Theory: Theoretical Concepts, Computational Methods and Experimental Verification

authorG. A. Maugin (auth.), Carlo Sansour, Sebastian Skatulla (eds.)
pages322 Pages
release year2012
file size5.845 MB

1
313233
43