Cargando…
The Unknown Component Problem: Theory and Applications
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...
Autores principales: | Villa, Tiziano, Yevtushenko, Nina, Brayton, Robert K, Mishchenko, Alan, Petrenko, Alexandre, Sangiovanni-Vincentelli, Alberto |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2012
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/978-0-387-68759-9 http://cds.cern.ch/record/1498634 |
Ejemplares similares
-
Synthesis of finite state machines: logic optimization
por: Villa, Tiziano, et al.
Publicado: (1997) -
Security-aware design for cyber-physical systems: a platform-based approach
por: Lin, Chung-Wei, et al.
Publicado: (2017) -
Embedded systems development: from functional models to implementations
por: Sangiovanni-Vincentelli, Alberto, et al.
Publicado: (2014) -
The general theory of alternating current machines: application to practical problems
por: Adkins, Bernard, et al.
Publicado: (1975) -
An introduction to fuzzy linear programming problems: theory, methods and applications
por: Kaur, Jagdeep, et al.
Publicado: (2016)