Dangos 1 - 3 canlyniadau o 3 ar gyfer chwilio '"I/O automata."', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 1

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

    Erthygl

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

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

    Erthygl

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

    A note on fairness in I gan Romjin, Judi

    Erthygl

    A note on fairness in I

Offerynnau Chwilio: