Universal Verification Methodology Based Verification Environment - Theory and Practice
von Abhishek Jain
2014 Kartoniert, 140 Seiten, 220mm x 150mm x 9mm, Sprache(n): eng Ever increasing silicon design complexity and transistor density, product differentiation and time to market are major factors creating huge pressure on complete design flow. This book covers Verification phase by describing the c…
Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28¿30,…
2022 Kartoniert, 364 Seiten, 235mm x 155mm x 20mm, Sprache(n): eng This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in…
Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3¿6,…
2023 Kartoniert, 504 Seiten, 235mm x 155mm x 28mm, Sprache(n): eng This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3¿6, 2023. The 13 full papers and 7 short papers presented in thi…
Runtime Verification - A Hands-On Approach in Java
von Gordon J. Pace, Christian Colombo
2022 Kartoniert, 220 Seiten, 235mm x 155mm x 13mm, Sprache(n): eng Written for graduate students and industry professionals who need a hands-on introduction to runtime verificationIncludes lots of exercises which enable readers to build their own runtime verification toolProvides readers who nee…
Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10¿13, 2…
2018 Kartoniert, 484 Seiten, 235mm x 155mm x 27mm, Sprache(n): eng This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented together with 3 short papers and 3 t…
Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 201…
2013 Kartoniert, 444 Seiten, 235mm x 155mm x 24mm, Sprache(n): eng This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers,…
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16,…
2017 Kartoniert, 452 Seiten, 235mm x 155mm x 25mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThis book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full…
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18…
2022 Kartoniert, 212 Seiten, 235mm x 155mm x 12mm, Sprache(n): eng This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October…
Societal Verification
von Dieter Deiseroth
2010 Kartoniert, 56 Seiten, 220mm x 155mm x 4mm, Sprache(n): eng Societal Verification has been discussed for decades under different names, like "inspection by the people" and "social monitoring". Although there is no agreed legal definition, societal verification connotes the involvement of ci…
Verification Plans - The Five-Day Verification Strategy for Modern Hardware Verification Languages
von Peet James
2003 Gebunden, 258 Seiten, 241mm x 160mm x 21mm, Sprache(n): eng Is a practical guide on how to get a verification team jumpstarted into verification success by the joint creation of a verification planVerification isjob one in today's modem design process. Statistics tell us that the verificati…
- Volltext
- verification
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!