Catálogo de publicaciones - libros
Título de Acceso Abierto
Guaranteed Verification of Dynamic Systems
Parte de: Karlsruher Beiträge zur Regelungs- und Steuerungstechnik
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Verifikation; Dynamische Systeme; Intervall Arithmetik; Diagnose; Bounded Error; Verification; Dynamic Systems; Interval Arithmetic; Diagnosis
Disponibilidad
Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
---|---|---|---|---|
No requiere | Directory of Open access Books |
Información
Tipo de recurso:
libros
País de edición
Alemania
Información sobre derechos de publicación
Currently all books are published under the Creative Commons license BY-SA 4.0 DE.