QR Code

VERIFICATION OF A MODEL OF THE EASTERN SCHELDT /

Saved in:

Bibliographic Details
Main Author:	Leendertse, Jan J.
Format:	Book
Language:	English
Published:	Santa Monica : RAND, 1984
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conceptual models in man-machine design verification /
by: Rasmussen, Jens
Published: (1985)

Layout design and verification /
by: Ueda, Kazuhiro
Published: (1986)

Program construction and verification /
by: Backhouse, Roland C.
Published: (1986)

Compiler Specification and Verification /
by: Polak, Wolfgang
Published: (1981)

Automatic verification of road databases using multiple road models /
by: Ziems, Marcel 1977-
Published: (2014)

Verification and validation in scientific computing /
by: Oberkampf, William L. 1944-, et al.
Published: (2010)

SOFTWARE ENGINEERING. ANALYSIS AND VERIFICATION /
by: Lewis, Theodore Gyle
Published: (1982)

Computer logic, testing and verification /
by: Roth, John Paul
Published: (1980)

Trust in Nuclear Disarmament Verification
by: Bowen, Wyn Q.
Published: (2018)

Scene verification using an imaging model in 3-D computer vision /
by: Hanajík, Milan
Published: (1995)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by: Przigoda, Nils
Published: (2018)

Formal System Verification State-of the-Art and Future Trends /
Published: (2018)

Verification of design basis program 2. A coupled aeroelastic wind turbine model /
by: Larsen, Gunner C.
Published: (1994)

Verification of electronic designs by reconstruction of the hierarchy /
by: Kostelijk, Anton Pieter
Published: (1994)

VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE /
by: Bologna, S.
Published: (1985)

SSPTV - a software system for programs testing and verification /
by: Bologna, S., et al.
Published: (1978)

Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
by: Courcoubetis, Costas
Published: (1993)

Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /
by: Boigelot, Bernard
Published: (1996)

Specification and compositional verification of real-time systems /
by: Hooman, Jozef Johannes Maria
Published: (1991)

Instruments for verification analysis and testing of photovoltaic systems
Published: (2012)

Instruments for verification analysis and testing of photovoltaic systems
Published: (2012)

Low-Power Design and Power-Aware Verification
by: Khondkar, Progyna
Published: (2018)

GUIDELINE FOR LIFECYCLE VALIDATION, VERIFICATION, AND TESTING OF COMPUTER SOFTWARE.
Published: (1984)

Logics for digital circuit verification. Theory, algorithms, and applications /
by: Janssen, Gradus Leonardus Johannes Maria
Published: (1999)

Formal techniques for verification of complex real-time systems /
by: Geilen, Marc Constantijn Willem
Published: (2002)

Software safety verification in critical software intensive systems /
by: Rodríguez Dapena, Patricia
Published: (2002)

Eastern Economic Journal

Middle Eastern Literatures

Middle Eastern Studies

Eastern European Economics

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies /
by: Mehta, Ashok B.
Published: (2018)

Compiler implementation verification through rigorous syntactical code inspection /
by: Hoffmann, Ulrich
Published: (1998)

Development plan of Eastern Slovakia : short version : the profile of the region of Eastern Slovakia
by: Valentovič, Martin
Published: (2006)

Yearbook for Eastern and Western Philosophy
Published: (2016)

Studies in Eastern European Cinema

Journal of Eastern African Studies

Empirical Asset Pricing Models Data, Empirical Verification, and Model Search /
by: Jeng, Jau-Lian
Published: (2018)

Eastern Europe telecommunications seminar /
by: Piechota, A.
Published: (1973)

Eastern Europe telecommunications seminar /
by: Hill, Vincent
Published: (1973)

Eastern partnership literary review : authors, books & literary life in eastern partnership countries
Published: (2014)