Publisher： Springer Publishing Company
Founded in： 1992
Total resources： 27
E-ISSN： 1572-8102
ISSN： 0925-9856
Subject： TP3 Computers
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
Menu
Bayesian statistical model checking with application to Stateflow/Simulink verification
By Zuliani Paolo,Platzer André,Clarke Edmund in (2013)
Formal Methods in System Design , Vol. 43, Iss. 2, 2013-10 , pp.
Access to resources
Recommend
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 , 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 , 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 , 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 , Vol. 43, Iss. 2, 2013-10 , pp.Preface to the special issue on Probabilistic Model Checking
By Baier Christel,Kwiatkowska Marta in (2013)
Formal Methods in System Design , 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 , 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 , Vol. 43, Iss. 2, 2013-10 , pp.Analyzing probabilistic pushdown automata
By Brázdil Tomáš,Esparza Javier,Kiefer Stefan,Kučera Antonín in (2013)
Formal Methods in System Design , Vol. 43, Iss. 2, 2013-10 , pp.Code aware resource management
By Chatterjee Krishnendu in (2013)
Formal Methods in System Design , Vol. 42, Iss. 2, 2013-04 , pp.
Previous
Next