Suchergebnisse - Hooman, Jozef J. M.

  • Treffer 1 – 6 von 6
Treffer filtern
  1. 1
    Buchumschlag

    Specification and compositional verification of real-time systems
    von Hooman, Jozef J. M.

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Specification and compositional verification of real-time systems
    von Hooman, Jozef J. M.

    Veröffentlicht 1991
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    An introduction to compositional methods for concurrency and their application to real time
    von Hooman, Jozef J. M., Roever, Willem-Paul de 1943-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Verification and specification of concurrent programs
    von Hooman, Jozef J. M., Roever, Willem-Paul de 1943-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Specification and compositional verification of real-time systems
    von Hooman, Jozef J. M.

    Veröffentlicht 1991
    Hochschulschrift/Dissertation Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    A compositional axiomatization of statecharts
    von Hooman, Jozef J. M., Ramesh, S., Roever, Willem-Paul de 1943-

    Veröffentlicht 1991
    Buch


    Gespeichert in:

Suchwerkzeuge: