Search Results - "Reusable Program Component"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Specification composition for the verification of message passing program composition by Cotronis, J.Y., Tsiatsoulis, Z.

    ISSN: 0141-9331, 1872-9436
    Published: Elsevier B.V 30.04.1998
    Published in Microprocessors and microsystems (30.04.1998)
    “…We present a specification composition technique for improving the reliability of message passing applications composed by the Ensemble methodology. In…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: