Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL

Foster, Simon David orcid.org/0000-0002-9889-9514 and Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 (2017) Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL. In: Concurrency, Security, and Puzzles:Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Lecture Notes in Computer Science , pp. 39-64.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2017, Springer. Self-archiving of author accepted manuscript not supported by the publisher.
Dates:
  • Published: 9 January 2017
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 10 Jan 2017 10:31
Last Modified: 22 Nov 2021 00:58
Status: Published
Publisher: Lecture Notes in Computer Science
Refereed: No
Related URLs:

Download

Share / Export