Publication:
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
|
