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!