LIBROS DEL AUTOR: roberto segala

1 resultados para LIBROS DEL AUTOR: roberto segala

roberto segala Eliminar filtro Quitar filtros
  • The Theory of Timed I/O Automata, Second Edition
    Dilsun Kaynar / Nancy Lynch / Roberto Segala
    This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing of events, not just on the order of their occurrence. Timed systems are employed ...
    Disponible

    53,16 €