Search Results - Diaz, Michel 1945-

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Petri nets fundamental models, verification and applications

    Petri nets fundamental models, verification and applications

    Published 2009
    Other Authors: “…Diaz, Michel 1945-…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Communicating systems with UML2 modeling and analysis of network protocols

    Communicating systems with UML2 modeling and analysis of network protocols by Garduno Barrera, David

    Published 2011
    Other Authors: “…Diaz, Michel 1945-…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Formal description techniques, V111 proceeding the IFIP TC6/WG6.1 Eighth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol

    Formal description techniques, V111 proceeding the IFIP TC6/WG6.1 Eighth International Conference on Formal Description Techniques for Distributed Systems and Communications Proto...

    Published 1996
    Other Authors: “…Diaz, Michel 1945-…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Formal description techniques, V proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992

    Formal description techniques, V proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protoc...

    Published 1993
    Other Authors: “…Diaz, Michel 1945-…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: