Hybrid systems III
verification and control
DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems (1995 : Rutgers university, New Jersey)
creator
Alur, Rajeev
1966-
ed.,
Henzinger, Thomas A.
ed.
Sontag, Eduardo D.
1951-
ed.
text
gw|
Berlin
Springer
1996
monographic
ng
ix, 618 p. : il. ; 24 cm.
edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.
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
Lecture notes in computer science ; v. 1066
LNCS ; v. 1066
354061155X
AR_CdUFM
110517
20170703144444.0