TeStor: Deriving Test Sequences from Model-Based Specifications
International symposium; 8th, Component-based software engineering: 8th international symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005, proceedings ; 2005 ; Saint Louis, Mo.
2005-01-01
16 pages
Conference proceedings. Includes bibliographical references and index.
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Deriving Programs from Their Z specifications
IEEE | 2006
|Deriving intrinsic images from image sequences
IEEE | 2001
|Deriving Intrinsic Images from Image Sequences
British Library Conference Proceedings | 2001
|