The book summarizes the main results of the the project ENABLE-S3 covering the following aspects: validation and verification technology bricks (collection and

This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools that provide

HUMAN COMMUNICATION TECHNOLOGY A unique book explaining how perception, location, communication, cognition, computation, networking, propulsion, integration of

"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are