A compositional modelling and analysis framework for stochastic hybrid systems

Author: Hahn Ernst   Hartmanns Arnd   Hermanns Holger   Katoen Joost-Pieter  

Publisher: Springer Publishing Company

ISSN: 0925-9856

Source: Formal Methods in System Design, Vol.43, Iss.2, 2013-10, pp. : 191-232

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract