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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , pp. 39-64.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2017, Springer.
Dates:
  • Accepted: 7 November 2016
  • 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: 05 Feb 2024 00:10
Published Version: https://doi.org/10.1007/978-3-319-51046-0_3
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-319-51046-0_3
Related URLs:

Download

Export

Statistics