Selection Criteria for Statistical Model Checking

Bakir, M.E. orcid.org/0000-0002-3012-8713 and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2016) Selection Criteria for Statistical Model Checking. In: Proceedings of the Workshop on Membrane Computing, WMC 2016. Workshop on Membrane Computing, WMC 2016, 11-15 Jul 2016, Manchester, UK. , Bradford University , pp. 55-57.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2016 WMC
Dates:
  • Published: 19 August 2016
  • Published (online): 11 July 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 10 Sep 2018 09:01
Last Modified: 10 Sep 2018 09:01
Published Version: https://bradscholars.brad.ac.uk/handle/10454/8840
Status: Published
Refereed: Yes

Share / Export