Period of time： 2013年2期
Publisher： Springer Publishing Company
Founded in： 1992
Total resources： 27
ISSN： 0925-9856
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Formal Methods in System Design,volume 43,issue 2
Menu
Preface to the special issue on Probabilistic Model Checking
By Baier Christel,Kwiatkowska Marta in (2013)
Formal Methods in System Design,volume 43,issue 2 , Vol. 43, Iss. 2, 2013-10 , pp.
Access to resources
Recommend
Analyzing probabilistic pushdown automata
By Brázdil Tomáš,Esparza Javier,Kiefer Stefan,Kučera Antonín in (2013)
Formal Methods in System Design,volume 43,issue 2 , Vol. 43, Iss. 2, 2013-10 , pp.Model checking for probabilistic timed automata
By Norman Gethin,Parker David,Sproston Jeremy in (2013)
Formal Methods in System Design,volume 43,issue 2 , Vol. 43, Iss. 2, 2013-10 , pp.A compositional modelling and analysis framework for stochastic hybrid systems
By Hahn Ernst,Hartmanns Arnd,Hermanns Holger,Katoen Joost-Pieter in (2013)
Formal Methods in System Design,volume 43,issue 2 , Vol. 43, Iss. 2, 2013-10 , pp.Computable fixpoints in well-structured symbolic model checking
By Bertrand N.,Schnoebelen P. in (2013)
Formal Methods in System Design,volume 43,issue 2 , Vol. 43, Iss. 2, 2013-10 , pp.A survey of partial-observation stochastic parity games
By Chatterjee Krishnendu,Doyen Laurent,Henzinger Thomas in (2013)
Formal Methods in System Design,volume 43,issue 2 , Vol. 43, Iss. 2, 2013-10 , pp.Algorithmic probabilistic game semantics: Playing games with automata
By Kiefer Stefan,Murawski Andrzej,Ouaknine Joël,Wachter Björn,Worrell James in (2013)
Formal Methods in System Design,volume 43,issue 2 , Vol. 43, Iss. 2, 2013-10 , pp.On-the-fly verification and optimization of DTA-properties for large Markov chains
By Mikeev Linar,Neuhäußer Martin,Spieler David,Wolf Verena in (2013)
Formal Methods in System Design,volume 43,issue 2 , Vol. 43, Iss. 2, 2013-10 , pp.Bayesian statistical model checking with application to Stateflow/Simulink verification
By Zuliani Paolo,Platzer André,Clarke Edmund in (2013)
Formal Methods in System Design,volume 43,issue 2 , Vol. 43, Iss. 2, 2013-10 , pp.