00837nam a2200229 a 4500001001400000003000700014005001700021008004100038020001800079020001500097040000800112245011500120260004000235300003600275490006900311504005000380650003900430700002000469700002400489700002500513830006900538vtls000068853KUKTEM20251125093940.0130311t2012    flua   f b    001 0 eng d  a9781439818459  a1439818452  aUMP00aModel-based testing for embedded systems /ceditors by Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman  aBoca Raton, FL :bCRC Press,cc2012  axxvii, 660 p. :bill. ;c26 cm.1 aComputational analysis, synthesis, and design of dynamic systems  aIncludes bibliographical references and index 0aEmbedded computer systemsxTesting1 aZander, Justyna1 aSchieferdecker, Ina1 aMosterman, Pieter J. 0aComputational analysis, synthesis, and design of dynamic systems