Saltar al contenido
VuFind
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
Avanzado
  • Approximate Model Checking of...
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Enlace Permanente
Approximate Model Checking of Stochastic Hybrid Systems

Approximate Model Checking of Stochastic Hybrid Systems

Mostrar otras versiones (1)
Detalles Bibliográficos
Autores principales: Abate, A, Katoen, J, Lygeros, J, Prandini, M
Formato: Journal article
Publicado: 2010
  • Existencias
  • Descripción
  • Otras Versiones (1)
  • Ejemplares similares
  • Vista Equipo

Ejemplares similares

  • Approximate Model Checking of Stochastic Hybrid Systems
    por: Abate, A, et al.
    Publicado: (2010)
  • Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
    por: Abate, A, et al.
    Publicado: (2008)
  • Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems
    por: Abate, A, et al.
    Publicado: (2008)
  • Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
    por: Tkachev, I, et al.
    Publicado: (2012)
  • Quantitative model-checking of controlled discrete-time Markov processes
    por: Tkachev, I, et al.
    Publicado: (2016)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Lista Alfabética
  • Explorar canales
  • Reservas de Curso
  • Nuevos ejemplares

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes