85 treff

verifikasjon
Verification of reactive systems : formal methods and algorithms
Klaus Schneider
Bok Engelsk 2004 · Vis mer
Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
CAV 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal aspects of security : first international conference, FASec 2002, London, UK, December 16-18, 2002 : revised papers
FASec 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers
International Andrei Ershov Memorial Conference
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
CAV 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
International SPIN Workshop
Bok Engelsk 2002 · Vis mer
Computer aided verification : 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings
CAV 2001
Bok Engelsk 2001 · Vis mer
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
International Andrei Ershov Memorial Conference
Bok Engelsk 2001 · Vis mer
Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
PAPM-PROBMIV 2001
Bok Engelsk 2001 · Vis mer
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
CAV 2000
Bok Engelsk 2000 · Vis mer
Computer aided verification : 11th international conference, CAV'99, Trento, Italy, July 6-10, 1999 : proceedings
CAV '99
Bok Engelsk 1999 · Vis mer
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
Bok Engelsk 1999 · Vis mer
Verifying OCL specifications of UML models : tool support and compositionality
Marcel Kyas
Bok Engelsk 2006 · Vis mer
Information security and privacy : second Australasian conference, ACISP'97, Sydney, NSW, Australia, July 7-9, 1997 : proceedings
ACISP '97
Bok Engelsk 1997 · Vis mer
Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
CAV '97
Bok Engelsk 1997 · Vis mer
Proceedings 1997 : Design Automation Conference : 34th DAC, Anaheim, CA : Anaheim Convention Center, June 9-13, 1997
Design Automation Conference
Bok Engelsk 1997 · Vis mer
Writing testbenches : functional verification of HDL models
by Janick Bergeron
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 : proceedings
International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
Bok Engelsk 1997 · Vis mer
TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
International Joint Conference CAAP/FASE
Bok Engelsk 1997 · Vis mer
Logical foundations of computer science : 4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
LFCS '97
Bok Engelsk 1997 · Vis mer
Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
CAV '96
Bok Engelsk 1996 · Vis mer
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
FMCAD '96
Bok Engelsk 1996 · Vis mer
Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings
International Static Analysis Symposium
Bok Engelsk 1996 · Vis mer
Computer aided verification : 7th international conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings
CAV '95
Bok Engelsk 1995 · Vis mer
Temporal verification of reactive systems. 2. Safety
Manna, Zohar
Bok Engelsk 1995 · Vis mer
VHDL : hardware description and design
by Roger Lipsett, Carl F. Schaefer, Cary ...
Bok Engelsk 1989 · Vis mer
Extensional constructs in intensional type theory
Martin Hofmann
Bok Engelsk 1997 · Vis mer
Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications
Bok Engelsk 1997 · Vis mer
Brug af OBJ3 som specifikationssprog og testomgivelse ved formel verifikation af cache-coherenceprotokollen i SCI
Anne Gudman Østergård Sørensen
Bok Dansk 1995 · Vis mer
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
Bok Engelsk 1993 · Vis mer