Toon 1 - 5 resultaten van 5 Voor zoekopdracht '"Specification techniques."', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1

    Compositional refinement of interactive systems. door Broy, Manfred

    Gepubliceerd in Journal of the ACM
    Artikel

    Compositional refinement of interactive systems.
  2. 2

    Relational analysis of algebraic datatypes. door Kuncak, Viktor

    Gepubliceerd in Software engineering notes.
    Artikel

    Relational analysis of algebraic datatypes.
  3. 3

    Interface automata. door De Alfaro, Luca

    Gepubliceerd in Software engineering notes.
    Artikel

    Interface automata.
  4. 4

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

    Gepubliceerd in Software engineering notes.
    Artikel

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

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

    Gepubliceerd in Journal of the ACM
    Artikel

    Register-machine based processes.

Zoekinstrumenten: