Showing 1 - 5 results of 5 for search '"Specification techniques."', tempo de consulta: 0.02s Limitar resultados
  1. 1

    Compositional refinement of interactive systems. por Broy, Manfred

    Publicado en Journal of the ACM
    Artigo

    Compositional refinement of interactive systems.
  2. 2

    Relational analysis of algebraic datatypes. por Kuncak, Viktor

    Artigo

    Relational analysis of algebraic datatypes.
  3. 3

    Interface automata. por De Alfaro, Luca

    Artigo

    Interface automata.
  4. 4

    Modular verification of collaboration-based software designs. por Fisler, Kathi

    Artigo

    Modular verification of collaboration-based software designs.
  5. 5

    Register-machine based processes. por Bergstra, Jan A.

    Publicado en Journal of the ACM
    Artigo

    Register-machine based processes.

Ferramentas de procura: