Search Results - Specifying and Verifying and Reasoning about Programs—Assertions

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

    Synthesis of the synchronization of general pipeline systems by Ugron, Balázs, Hajdara, Szabolcs, Kozma, László

    ISSN: 0324-721X
    Published: Szeged Laszlo Nyul 01.01.2005
    Published in Acta cybernetica (Szeged) (01.01.2005)
    “…The pipeline systems and different subtypes of pipelines are interesting parts of parallel systems in software engineering. That is why it seems to be worth…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: