Workshop Proceedings: Trustworthy Cyber-Physical Systems (2012)

Author(s): Fitzgerald J, Mak T, Romanovsky A, Yakovlev A

    Abstract: These are the Proceedings of the Workshop on Trustworthy Cyber-Physical Systems run on September 3, 2012 in conjunction with CONCUR 2012. For more information see http://www.staff.ncl.ac.uk/terrence.mak/TCPS/Workshop.html

      • Date: August 2012
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 55
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: dependability, system modelling and verification