CORE

🇺🇦   make metadata, not war

    16 research outputs found

    Formalisms for program reification and fault tolerance

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    Get PDF
    Repository TU/e
    Pure OAI Repository

    Specifying fault tolerant programs in deontic logic

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    Get PDF
    Repository TU/e
    Pure OAI Repository

    A compositional semantics for fault-tolerant real-time systems

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    Get PDF
    Pure OAI Repository

    Assertional data reification proofs : surveys and perspective

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    Get PDF
    Repository TU/e
    Pure OAI Repository

    A note on compositional refinement

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    Get PDF
    Pure OAI Repository

    A note on compositional refinement

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    Get PDF
    Pure OAI Repository

    Design and implementation aspects of remote procedure calls

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    Get PDF
    Repository TU/e
    Pure OAI Repository

    Specifying fault tolerant programs in deontic logic

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    No full text

    Formalisms for program reification and fault tolerance

    Author
    Publication venue
    Technische Universiteit Eindhoven
    Publication date
    Field of study
    No full text

    Polynomiale reducties : beschrijvingen en toepassingen

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    Pure OAI Repository
    corecore