Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings (Lecture Notes in Computer Science #12519)
3754571
|
Belgacem Ben Hedia
Yu-Fang Chen
Gaiyun Liu
Zhenhua Yu
|
9783030659554 |
2020 |
Contains images
|
|
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings (Lecture Notes in Computer Science #14368)
5836792
|
Belgacem Ben Hedia
Yassine Maleh
Moez Krichen
|
9783031497377 |
2024 |
Contains images
|
|
Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13187)
4515440
|
Ayoub Nouri
Weimin Wu
Kamel Barkaoui
ZhiWu Li
|
9783030988500 |
2022 |
Contains images
|
|
Verification and Validation in Scientific Computing
623735
|
William L. Oberkampf
Christopher J. Roy
|
9781139813761 |
2010 |
Contains images
|
|
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
1383070
|
Yosr Jarraya
Luay Alawneh
Andrei Soeanu
Fawzi Hassaïne
Mourad Debbabi
|
9783642152283 |
2010 |
Contains images
|
|
Verification and Validation of Rule-Based Expert Systems
6291481
|
Suzanne Smith
Abraham Kandel
|
9781351830126 |
1993 |
Contains images
|
|
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings (Lecture Notes in Computer Science #11990)
5925407
|
Dirk Beyer
Damien Zufferey
|
9783030393229 |
2020 |
|
|
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14499)
5796201
|
Rayna Dimitrova
Ori Lahav
Sebastian Wolff
|
9783031505249 |
2024 |
Contains images
|
|
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14500)
5796203
|
Rayna Dimitrova
Ori Lahav
Sebastian Wolff
|
9783031505218 |
2024 |
Contains images
|
|
Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings (Lecture Notes in Computer Science #13881)
6019003
|
Cezara Dragoi
Michael Emmi
Jingbo Wang
|
9783031249501 |
2023 |
Contains images
|
|
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings (Lecture Notes in Computer Science #11388)
2456176
|
Constantin Enea
Ruzica Piskac
|
9783030112455 |
2019 |
Contains images
|
|
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings (Lecture Notes in Computer Science #13182)
4390235
|
Bernd Finkbeiner
Thomas Wies
|
9783030945831 |
2022 |
Contains images
|
|
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings (Lecture Notes in Computer Science #12597)
6054080
|
Fritz Henglein
Sharon Shoham
Yakir Vizel
|
9783030670672 |
2021 |
|
|
Verification, Model Checking, and Abstract Interpretation
1428497
|
Barbara Jobstmann
K. Rustan M. Leino
|
9783662491225 |
2016 |
Contains images
|
|
Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Online
5727745
|
Mike Caulfield
Sam Wineburg
|
9780226822068 |
2023 |
Contains images
|
|
Verified Software: Theories, Tools and Experiments
1402188
|
Dimitra Giannakopoulou
Daniel Kroening
|
9783319121543 |
2014 |
Contains images
|
|
Verified Software: Theories, Tools, and Experiments
1518624
|
Sanjit A. Seshia
Arie Gurfinkel
|
9783319296135 |
2016 |
Contains images
|
|
Verified Software. Theories, Tools, and Experiments
1532225
|
Sandrine Blazy
Marsha Chechik
|
9783319488691 |
2016 |
Contains images
|
|
Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers (Lecture Notes in Computer Science #12031)
3404570
|
Supratik Chakraborty
Jorge A. Navas
|
9783030416003 |
2020 |
Contains images
|
|
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13800)
5214902
|
Akash Lal
Stefano Tonetta
|
9783031258039 |
2023 |
Contains images
|
|
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11294)
4736871
|
Ruzica Piskac
Philipp Rümmer
|
9783030035921 |
2018 |
Contains images
|
|
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14095)
6112287
|
Andrew Reynolds
Serdar Tasiran
|
9783031660641 |
2024 |
Contains images
|
|
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
4150566
|
Sayan Mitra
|
9780262370264 |
2021 |
Contains images
|
|
Verilog HDL: Digital Design and Modeling
2132579
|
Joseph Cavanagh
|
9781351835435 |
2007 |
Contains images
|
|
Verilog HDL Design Examples
2130824
|
Joseph Cavanagh
|
9781351596299 |
2018 |
Contains images
|
|