Model-based testing of reactive systems : advanced lectures

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Pretschner, Alexander, Leucker, Martin, Katoen, Joost-Pieter, Jonsson, Bengt, Broy, Manfred
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:Lecture Notes in Computer Science, 3472
Subjects:
Online Access:Click here to view the full text content
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:1 online resource (463 pages) digital.
ISBN:9783540320371
9783540262787
ISSN:0302-9743 ;