01531nam a2200337Ia 4500 CRC0KE10870PDF FlBoTFG 20171224123705.0 m|||||o||d|||||||| cr|||| 120329s2011 fluac sb 001 0 eng d 9781439818473 (ebook : PDF) FlBoTFG FlBoTFG TK7895.E42 M636 2011 004.1 M689 Model-based testing for embedded systems [electronic resource] / edited by Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman. Boca Raton, Fla. : CRC Press, 2011. xxvii, 660 p. : ill., ports. Computational analysis, synthesis, and design of dynamic systems ; 13 Includes bibliographical references and index. part 1. Introduction -- pt. 2. Automatic test generation -- pt. 3. Integration and multilevel testing -- pt. 4. Specific approaches -- pt. 5. Testing in industry -- pt. 6. Testing at the lower levels of development. Also available in print edition. Mode of access: World Wide Web. Embedded computer systems Testing. Electronic books. lcsh Zander, Justyna. Schieferdecker, Ina. Mosterman, Pieter J. 9781439818459 (hardcover : alk. paper) http://marc.crcnetbase.com/isbn/9781439818473 application/PDF Distributed by publisher. Purchase or institutional license may be required for access. 15538 15538