University of Glasgow / University of Konstanz / University of Oxford / Surrey Technology Centre / Smith Institute / Tiggy Gallery / Russell Square / University of Birmingham / Swinburne University / /
IndustryTerm
tool chain / probabilistic network / parallel computing / real-time and probabilistic systems / Satellite platforms / micro-processor / wireless protocols / satellite platform / telecommunications networks / safety-critical applications / probabilistic and real-time behaviour / communication protocol / larger scale industrial software system / devices / nuclear energy / model-checking algorithms / power management algorithms / real-time communications / hydraulic oil pump / car rolling / robotic systems / automotive applications / satellite system / manufacturing processes / busy wireless channel / energy / real-time control systems / systems / real-time systems model-checking tool / chemical processes / model-checking software / Automotive systems / genetic algorithms / safety-critical systems / electronic devices / embedded control systems / architecture-based software reliability analysis / communication protocols / manufacturing / communications protocol / wireless networking protocols / computing / car airbag system / cloud computing / probabilistic systems / communication networks / probabilistic verification tool / oil and gas pressure levels / Real-time systems / software application / control modules modules systems / cloud computing service administrators / modelling real-time control systems / achieved using model-checking software / /
Organization
London Mathematical Society / De Morgan House / European Space Agency / Smith Institute for Industrial Mathematics / University of Glasgow / Konstanz and Swinburne University / University of Oxford / University of Birmingham / University of Konstanz / SMITH INSTITUTE / London WC1B 4HS Smith Institute / European Union / /
Person
David Parker Image / Gethin Norman / Robert Leese / Dea Figure / David Parker / /
Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri