Modelling and Verifying Communication Failure of Hybrid Systems in HCSP
Computer Journal - United Kingdom
doi 10.1093/comjnl/bxw084
Full Text
Open PDFAbstract
Available in full text
Categories
Date
October 27, 2016
Authors
Publisher
Oxford University Press (OUP)