Toggle Main Menu Toggle Search

Open Access padlockePrints

Bayesian statistical model checking with application to Simulink/Stateflow verification

Lookup NU author(s): Dr Paolo Zuliani


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Zuliani P, Platzer A, Clarke EM

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: HSCC 2010: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control

Year of Conference: 2010

Pages: 243-252

Date deposited: 18/11/2012

Publisher: ACM


DOI: 10.1145/1755952.1755987

Library holdings: Search Newcastle University Library for this item

ISBN: 9781605589558