Résultat(s) 1 - 5 résultats de 5 pour la requête '"Specification techniques."', Temps de recherche: 0,02s Affiner les résultats
  1. 1

    Compositional refinement of interactive systems. par Broy, Manfred

    Publié dans Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  2. 2

    Relational analysis of algebraic datatypes. par Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  3. 3

    Interface automata. par De Alfaro, Luca

    Article

    Interface automata.
  4. 4

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

    Article

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

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

    Publié dans Journal of the ACM
    Article

    Register-machine based processes.

Outils de recherche: