Top 1014 audits verification PDF Book Page 42
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 Pages
·1999
·4.669 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 Pages
·2003
·4.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 Steffen
·599 Pages
·2018
·40.137 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 Pages
·2005
·5.43 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 Schrammel
·257 Pages
·2020
·13.503 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 Schrammel
·257 Pages
·2021
·13.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 Pages
·2001
·12.184 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 Steffen
·537 Pages
·2018
·32.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 Steffen
·533 Pages
·2018
·29.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 Pages
·2017
·13.716 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 Romanovsky
·304 Pages
·2019
·19.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 Huijsing
·407 Pages
·2010
·32.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 Huijsing
·409 Pages
·2006
·6.01 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 Pages
·2015
·5.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 Pages
·2010
·13.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 Steffen
·728 Pages
·2010
·13.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
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
·517 Pages
·2010
·9.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 Pages
·2016
·64.114 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 Steffen
·520 Pages
·2010
·9.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 Pages
·2012
·11.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 Pages
·2006
·3.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 Pages
·2012
·14.993 MB
