System-level validation : high-level modeling and directed test generation techniques

• Main Authors: Chen, Mingsong (Author), Qin, Xiaoke (Author), Koo, Heon-Mo (Author), Mishra, Prabhat, 1973- (Author)
• Format: Book
• Language: English
• Published: New York : Springer, [2013]
• Subjects: informační technologie; informační systémy; informační management; information technology; information systems; information management; monografie; monographs
• ISBN: 9781461413585
• Physical Description: xxi, 247 stran : ilustrace ; 24 cm