5 research outputs found

    Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches

    Full text link

    Nondeterministic control structures for graph rewriting systems

    No full text

    Nondeterministic Control Structures for Graph Rewriting Systems

    No full text
    corecore