Showing 1 - 1 results of 1 for search 'DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems Rutgers university, New Jersey', query time: 0.03s
Refine Results
-
1
Hybrid systems III : verification and control /
Published 1996“…DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems Rutgers university, New Jersey…”
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