Formal approaches to software testing View on Open Library

Formal approaches to software testing

by Carsten Weise

No reviews yet
First published: 2006 1 language ISBN: 9783540344551
Subjects
Formal methods (Computer science) Testing Congresses Computer software Informatique Programming Languages Essais COMPUTERS General Methodes formelles (Informatique)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Carsten Weise

Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich

Entscheidungsalgorithmen für Äquivalenze...

You Might Also Like

More in Formal methods (Comp...
Software Specification Methods

Software Specification Methods

Henri Habrias
Communicating embedded systems

Communicating embedded systems

Claude Jard
Formal methods for components and objects

Formal methods for components and object...

Frank S. de Boer
Extension Innovation Method

Extension Innovation Method

Chunyan Yang
Modeling in event-b

Modeling in event-b

Jean-Raymond Abrial
Process Algebra for Parallel and Distributed Processing

Process Algebra for Parallel and Distrib...

Michael Alexander