Stochastic modeling, analysis and verification of mission-critical systems and processes

Gerasimou, Simos, Mason, George Rupert, Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 et al. (4 more authors) (2015) Stochastic modeling, analysis and verification of mission-critical systems and processes. In: 4th IMA Conference on Mathematics in Defence. .

Abstract

Metadata

Authors/Creators:
Dates:
  • Published: 2015
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 10 Mar 2017 16:40
Last Modified: 06 Dec 2023 10:00
Status: Published
Refereed: Yes

Download

Export

Statistics