A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems
Crossref DOI link: https://doi.org/10.1007/s00165-017-0421-7
Published Print: 2017-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wang, Shuling http://orcid.org/0000-0002-2798-2660
Zhan, Naijun
Zhang, Lijun
Funding for this research was provided by:
973 Program (No. 2014CB340701)
NSFC (No. 91418204, No. 61625206, No. 61532019, No. 61472473)
License valid from 2017-07-01