Hybrid systems III : verification and control /
Hybrid systems III : verification and control /
edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.
- Berlin : Springer, 1996.
- ix, 618 p. : il. ; 24 cm.
- Lecture notes in computer science ; v. 1066 LNCS ; v. 1066 .
354061155X
Sistemas híbridos.
Hybrid systems.
Análisis de algoritmos y problemas complejos.
Analysis of algorithms and problem complexity.
Sistemas con propósitos y aplicaciones especiales.
Special-purpose and application-based systems.
Software-Requerimientos y aplicaciones.
Software-Requirements and applications.
Programas-Especificación.
Programs-Specification.
Programas-Verificación.
Programs-Verification.
Computación mediante dispositivos abstractos.
Computation by abstract devices.
354061155X
Sistemas híbridos.
Hybrid systems.
Análisis de algoritmos y problemas complejos.
Analysis of algorithms and problem complexity.
Sistemas con propósitos y aplicaciones especiales.
Special-purpose and application-based systems.
Software-Requerimientos y aplicaciones.
Software-Requirements and applications.
Programas-Especificación.
Programs-Specification.
Programas-Verificación.
Programs-Verification.
Computación mediante dispositivos abstractos.
Computation by abstract devices.