LIBROS DEL AUTOR: chaochen zhou

1 resultados para LIBROS DEL AUTOR: chaochen zhou

chaochen zhou Eliminar filtro Quitar filtros
  • Duration Calculus
    Chaochen Zhou / Michael Hansen
    A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time ...
    Disponible

    132,83 €