42 treff

programvare verifisering
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
VMCAI 2003
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
Modular specification and verification of object-oriented programs
Peter Müller
Bok Engelsk 2002 · Vis mer
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
VMCAI 2002
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
Self-adaptive software : first international workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000 : revised papers
IWSAS 2000
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
SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
International SPIN Workshop
Bok Engelsk 2000 · Vis mer
Verification and validation for quality of UML 2.0 models
Bhuvan Unhelkar
Bok Engelsk 2005 · Vis mer
Evaluating software architectures : methods and case studies
Paul Clements, Rick Kazman, Mark Klein
Bok Engelsk 2002 · Vis mer
Systems and software verification : model-checking techniques and tools
B. Bérard ... [et al.] ; [translated with...
Bok Engelsk 2001 · Vis mer