Boek

Using Model Checking to Generate Test Cases for Critical Systems

Testing for Safety «

Score:

(3/0)

Aantal recensies:

0

Aantal keer getipt:

0

Aantal keer gelezen:

0

Auteur(s):

Wei Ding

Categorie:

ISBN

9783843355650

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Er zijn nog geen verbanden gelegd.

Using Model Checking to Generate Test Cases for Critical Systems

Welkom op Boeklezers.nl

Boeken zoals Using Model Checking to Generate Test Cases for Critical Systems door Wei Ding