LIBROS DEL AUTOR: jozef hooman

1 resultados para LIBROS DEL AUTOR: jozef hooman

jozef hooman Eliminar filtro Quitar filtros
  • Specification and Compositional Verification of Real-Time Systems
    Jozef Hooman
    The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate by synchronous message passing along unidirectional channels. To specifiy functional and timing properties of prog...
    Disponible

    66,47 €