85 treff

verifikasjon
Program verification
Nissim Francez
Bok Engelsk 1992 · Vis mer
Fundamentals of software engineering
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandri...
Bok Engelsk 1991 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computing in Horn clause theories
Peter Padawitz
Bok Engelsk 1988 · Vis mer
IVC '97 : proceedings
6th International Verilog HDL Conference,...
Bok Engelsk 1997 · Vis mer
Computer-aided verification : 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings
CAV '90
Bok Engelsk 1991 · Vis mer
Programming from specifications
Morgan, C.C.
Bok Engelsk 1990 · Vis mer
Vis flere utgaver
Vis flere utgaver
A formal hardware description and verification method
Tony Larsson
Bok Engelsk 1989 · Vis mer
Proceedings. 3.
IEEE International Symposium on Circuits and Systems
Bok Språk ikke angitt 1988 · Vis mer
Verite et verification = : Wahrheit und verifikation
Colloque international de phenominologie
Bok Fransk 1974 · Vis mer
Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings
CAV '94
Bok Engelsk 1994 · Vis mer
Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
CAV '92
Bok Engelsk 1993 · Vis mer
Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings
CAV '93
Bok Engelsk 1993 · Vis mer
Networking: foundation for the future : proceedings : twelfth annual joint conference of the IEEE Computer and Communications Societies : tutorials, March 28-29, 1993 : technical sessions, March 30-April 1, 1993 : Hotel Nikko, San Francisco, CA. 2.
IEEE INFOCOM
Bok Engelsk 1993 · Vis mer
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings
CAV '91
Bok Engelsk 1992 · Vis mer
Testing equivalences for probabilistic processes
Ivan Christoff
Bok Engelsk 1990 · Vis mer
Funktionelle Analyse von Kommunikationsprotokollen
Heiko Krumm
Bok Tysk 1990 · Vis mer
Current trends in hardware verification and automated theorem proving
G. Birtwistle, P. A. Subrahmanyam, editor...
Bok Språk ikke angitt 1989 · Vis mer
High-integrity software
edited by C. T. Sennett
Bok Språk ikke angitt 1989 · Vis mer
Networking: foundation for the future : proceedings : twelfth annual joint conference of the IEEE Computer and Communications Societies : tutorials, March 28-29, 1993 : technical sessions, March 30-April 1, 1993 : Hotel Nikko, San Francisco, CA. 1.
IEEE INFOCOM (12 : 1993 San Francisco)
Bok Engelsk 1993 · Vis mer
Advanced research in VLSI : proceedings of the 1991 University of California/Santa Cruz Conference
edited by Carlo H. Séquin
Bok Engelsk 1991 · Vis mer
Advanced research in VLSI : proceedings of the sixth MIT conference
edited by William J. Dally
Bok Engelsk 1990 · Vis mer
Formal verification of hardware design
edited by Michael Yoeli
Bok Engelsk 1990 · Vis mer
Verification of VLSI circuits using LP
Stephen Garland, John Guttag, Jørgen Stau...
Bok Språk ikke angitt 1988 · Vis mer
Confirmation and confirmability
Schlesinger, G
Bok Engelsk 1974 · Vis mer