System-level validation : high-level modeling and directed test generation techniques - Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat, 1973- (Springer, 2013)
Keywords: informační technologie; informační systémy; informační management; information technology; information systems; information management; monografie; monographs