85 treff

verifikasjon
Simulering av sanntidssystemer
Kristian Hattestad
Bok Bokmål 1997 · Vis mer
FM8501 : a verified microprocessor
Warren A. Hunt, Jr
Bok Engelsk 1994 · Vis mer
ASIC system design with VHDL : a paradigm
by Steven S. Leung and Michael A. Shanbla...
Bok Språk ikke angitt 1989 · Vis mer
Verification of sequential and concurrent programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog
Bok Engelsk 1991 · Vis mer
Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1999 · Vis mer
Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
Fundamentals of verification and validation
by Patrick J. Roache
Bok Engelsk 2009 · Vis mer
System verification : proving the design solution satisfies the requirements
Jeffrey O. Grady
Bok Engelsk 2007 · Vis mer
Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
International Colloquium on Automata, Languages and Programming
Bok Engelsk 1997 · Vis mer
Proceedings of the Twenty-Ninth Annual ACM Symposium on Theory of Computing : El Paso, Texas, May 4-6, 1997
ACM Symposium on Theory of Computing
Bok Engelsk 1997 · Vis mer
Mathematical foundations of computer science. 1. Sets, relations, and induction
Fejer, Peter A.
Bok Engelsk 1991 · Vis mer
Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings
International Colloquium on Automata, Languages and Programming
Bok Engelsk 1991 · Vis mer
Proceedings of the ACM SIGSOFT '89 : third Symposium on Software Testing, Analysis, and Verification (TAV3), Key West, Florida, December 13-15, 1989
Symposium on Software Testing, Analysis, and Verification
Bok Språk ikke angitt 1989 · Vis mer
Datamatik. I. Begreber og metodik

Bok Dansk 1968 · Vis mer
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Müller-Olm, Markus
Bok Engelsk 1997 · Vis mer
Parsing theory. 2. LR(k) and LL(k) parsing
Sippu, Seppo
Bok Engelsk 1990 · Vis mer
Validation of stochastic systems : a guide to current research
Christel Baier ... [et al.] (eds.)
Bok Engelsk 2004 · Vis mer
Formal hardware verification : methods and systems in comparison
Thomas Kropf (ed.)
Bok Engelsk 1997 · Vis mer
Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings
CHARME '93
Bok Engelsk 1993 · Vis mer
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI) : Las Vegas, Nevada, 15-18 June, 1997
ACM SIGPLAN Conference on Programming Language Design andImplementation
Bok Engelsk 1997 · Vis mer
Testen, Analysieren und Verifizieren von Software : Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI : proceedings der Treffen in Benthe und Bochum, Juni 1991 und Februar 1992
P. Liggesmeyer, H. M. Sneed, A. Spillner ...
Bok Tysk 1992 · Vis mer
Verification and validation in scientific computing
Oberkampf, William L
Bok Engelsk 2010 · Vis mer
Epistemetrics
Nicholas Rescher
Bok Engelsk 2006 · Vis mer
Computational methods in transport : verification and validation
Computational Methods in Transport (workshop)
Bok Engelsk 2008 · Vis mer
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
ATVA 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
CAV 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Proceedings 1998 : Design Automation Conference : Moscone Center, San Francisco, CA, June 15-19, 1998
Design Automation Conference
Bok Engelsk 1998 · Vis mer
Verifiable programming
Ole-Johan Dahl
Bok Engelsk 1992 · Vis mer
Algorithmics : the spirit of computing
David Harel ; with the technical assistan...
Bok Engelsk 1992 · Vis mer
Vis flere utgaver
Vis flere utgaver
Identification and quantification by GC-MS of sulphur mustard and related compounds after long time storage in sea water
Opstad, Aase M.
Bok Engelsk 2004 · Vis mer