Prikaz rezultata 1 – 5 od 5 za pretragu '"Specification techniques."', vrijeme upita: 0,02s Detaljiziraj rezultate
  1. 1

    Compositional refinement of interactive systems. od Broy, Manfred

    Članak

    Compositional refinement of interactive systems.
  2. 2

    Relational analysis of algebraic datatypes. od Kuncak, Viktor

    Članak

    Relational analysis of algebraic datatypes.
  3. 3

    Interface automata. od De Alfaro, Luca

    Članak

    Interface automata.
  4. 4

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

    Članak

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

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

    Članak

    Register-machine based processes.

Alati za pretragu: