Showing 1 - 1 results of 1 for search 'Sontag, Eduardo D., 1951-', query time: 0.01s
Refine Results
-
1
Hybrid systems III : verification and control /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Analysis of algorithms and problem complexity
Análisis de algoritmos y problemas complejos
Computación mediante dispositivos abstractos
Computation by abstract devices
Hybrid systems
Programas-Especificación
Programas-Verificación
Programs-Specification
Programs-Verification
Sistemas con propósitos y aplicaciones especiales
Sistemas híbridos
Software-Requerimientos y aplicaciones
Software-Requirements and applications
Special-purpose and application-based systems