Skip to contents

Lewis, Robert O. [Author]

Independent verification and validation : a life cycle engineering process for quality software

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: Wiley, 1992

Published in: New dimensions in engineering
Muschko, Benjamin [Author] ; Dockter, Hans [Other]

Gradle in action

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Shelter Island, NY: Manning, 2014
Vermesan, Anca [Editor]; Coenen, Frans [Other] ; EUROVAV 5 1999 Oslo

Validation and verification of knowledge based systems : theory, tools and practice ; [papers ... presented at the Fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components (EUROVAV '99) ... held in Oslo in the summer of 1999]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston, Mass. [u.a.]: Kluwer Academic, 1999
Hausen, Hans-Ludwig [Editor] ; Gesellschaft für Mathematik und Datenverarbeitung, Software validation 1983, Darmstadt, BONN GMD, STANFORD RES INST MENLO PARK CA, Symposium on Software Validation 1983 Darmstadt

Software validation : inspection, testing, verification, alternatives; proceedings of the Sympoisum on Software Validation held in Darmstadt, FRG, September 25 - 30, 1983

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North Holland, 1984
Wirsing, Martin [Editor]; Hofmann, Martin [Other]; Rauschmayer, Axel [Other] ; TGC 5 2010 München

Trustworthly global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6084
Craigen, Dan [Editor]; Summerskill, Karen [Editor] ; FM 1989 Halifax, Nova Scotia, British Computer Society

Formal methods for trustworthy computer systems (FM'89) : report from FM 89; a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23 - 27 July 1989, Halifax, Canada

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London; Berlin; Heidelberg; New York; Paris; Tokyo; Hong Kong: Springer, 1990

Published in: Workshops in computing
Butler, Michael [Editor]; Schulte, Wolfram [Other] ; FM 17 2011 Limerick

FM 2011: formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6664
Debbabi, Mourad [Other]

Verification and validation in systems engineering : assessing UML/SysML design models - [1. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010
Vogel, David A. [Author]

Medical device software verification, validation, and compliance

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston, [Mass.]; London: Artech House, 2011
Kaklamanis, Christos [Editor]; Nielson, Flemming [Other] ; TGC 4 2008 Barcelona

Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5474
Barthe, Gilles [Editor]; Fournet, Cédric [Other] ; TGC 3 2007 Sophia Antipolis

Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 4912
De Nicola, Rocco [Editor]; Sangiorgi, Davide [Other] ; TGC 1 2005 Edinburgh

Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7 - 9, 2005 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3705
Barringer, Howard [Editor] ; RV 1 2010 Saint Julian's

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6418
Quirk, William J. [Other]; Quirk, William Joseph [Editor]

Verification and validation of real-time software

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1985
Mewes, Kirsten [Author]

Domain-specific modelling of railway control systems with integrated verification and validation - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Dr. Hut, 2010

Published in: Informatik
Margaria-Steffen, Tiziana [Editor] ; ISoLA 4 2010 Heraklion

Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 20XX-

Published in: Lecture notes in computer science ; .
Wise, John A. [Editor] ; NATO Division of Scientific Affairs, Advanced Study Institute on Verification and Validation of Complex and Integrated Human Machine Systems 1992 Vimeiro

Verification and validation of complex systems: human factors issues : [proceedings of the NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human-Machine Systems, held in Vimeiro, Portual, July 6 - 17, 1992]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: NATO: NATO ASI series / F ; 110
EUROSPEC, Institute of Equipment Safety and Quality Management Darmstadt

Software validation and verification via EN 60601-1-4 : seminar proceedings, 01 - 02 June 1995, Heidelberg

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Darmstadt, 1995
EUROSPEC, Institute of Equipment Safety and Quality Management Darmstadt

Software validation and verification for medical devices : seminar proceedings, 24 - 25 March 1994, Vienna

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Darmstadt, 1994
Berger, Philipp [Author] ; Katoen, Joost-Pieter [Other]; Švejda, Jan [Other]

Interpretation-Based Violation Witness Validation for C: NITWIT

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021) -

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication