Stateful-Failure Reactive Designs in Isabelle/UTP

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more author) Stateful-Failure Reactive Designs in Isabelle/UTP. Working Paper. (Unpublished)

Abstract

Metadata

Item Type: Monograph
Authors/Creators:
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 18 Apr 2018 10:00
Last Modified: 22 Jan 2025 00:32
Status: Unpublished
Open Archives Initiative ID (OAI ID):

Download

Filename: UTP_Stateful_Failures.pdf

Description: UTP-Stateful-Failures

Export

Statistics