The Unknown Component Problem: Theory and Applications

by Nina Yevtushenko, Alexandre Petrenko, Alan Mishchenko, et al.

Book Overview

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with...

• Format: Paperback
• Language: English
• ISBN: 148997394X
• ISBN13: 9781489973948
• Release Date: January 2014
• Publisher: Springer
• Length: 312 Pages
• Weight: 1.01 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"