Logout succeed
Logout succeed. See you again!
Top 1014 audits verification PDF Book Page 42
Try WiseWorksheets to request a book.
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings
Markus Siegle (auth.), Luca de Alfaro, Stephen Gilmore (eds.)
227 Pages
2001
2.963 MB
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)399 Pages19994.669 MB
Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Wolfram Büttner (auth.), Dominique Borrione, Wolfgang Paul (eds.)423 Pages20055.43 MB
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings
Wolfgang Roesner (auth.), Daniel Geist, Enrico Tronci (eds.)439 Pages20034.509 MB
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Tiziana Margaria, Bernhard Steffen599 Pages201840.137 MB
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Tiziana Margaria, Bernhard Steffen537 Pages201832.183 MB
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Tiziana Margaria, Bernhard Steffen533 Pages201829.452 MB
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky (eds.)274 Pages201713.716 MB
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel257 Pages202013.503 MB
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.)491 Pages200112.184 MB
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel257 Pages202113.503 MB
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky304 Pages201919.892 MB
Analog Circuit Design: RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage
Michiel Steyaert, Arthur H. M. van Roermund, Johan Huijsing407 Pages201032.174 MB
Analog Circuit Design: RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage
Michiel Steyaert, Arthur H. M. van Roermund, Johan Huijsing409 Pages20066.01 MB
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)517 Pages20109.016 MB
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Tiziana Margaria, Bernhard Steffen (eds.)873 Pages201664.114 MB
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Rolf Drechsler, Ulrich Kühne (eds.)324 Pages20155.89 MB
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)726 Pages201013.018 MB
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Tiziana Margaria, Bernhard Steffen728 Pages201013.985 MB
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Tiziana Margaria, Bernhard Steffen520 Pages20109.816 MB
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)375 Pages201211.262 MB
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)261 Pages20063.074 MB
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)631 Pages201214.993 MBMost books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
