Mostrando 1 - 3 Resultados de 3 Para Buscar '"I/O automata."', tiempo de consulta: 0.01s Limitar resultados
  1. 1

    Model and verification of a data manager based on ARIES. por Kuo, Dean

    Artículo

    Model and verification of a data manager based on ARIES.
  2. 2

    Component-interaction automata as a verification-oriented component-based system specification. por Brim, Lubo?

    Artículo

    Component-interaction automata as a verification-oriented component-based system specification.
  3. 3

    A note on fairness in I por Romjin, Judi

    Artículo

    A note on fairness in I

Herramientas de búsqueda: