Preface
Abstract
The 15th International Workshop on Automated Verification of Critical Systems was hosted by the School of Mathematical and Computer Sciences within Heriot-Watt University on September 2-4, 2015 in Edinburgh, United Kingdom. The 6th AI4FM workshop, which was held on 1 September, was co-located with AVoCS.
Full Text:
PDFDOI: http://dx.doi.org/10.14279/tuj.eceasst.72.1017
DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.72.1017.994
Hosted By Universitätsbibliothek TU Berlin.