scientific article; zbMATH DE number 2090709
From MaRDI portal
Publication:4813204
zbMath1065.68583MaRDI QIDQ4813204
Marta Kwiatkowska, Gethin Norman, Jeremy Sproston
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2399/23990169.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)
Related Items
Symbolic model checking for probabilistic timed automata, Model Checking Probabilistic Systems, Performance analysis of probabilistic timed automata using digital clocks, Value iteration for simple stochastic games: stopping criterion and learning algorithm, Unnamed Item, Formal verification and quantitative metrics of MPSoC data dynamics, Multi-cost bounded tradeoff analysis in MDP, Exact quantitative probabilistic model checking through rational search, From generic partition refinement to weighted tree automata minimization, An extension of the inverse method to probabilistic timed automata, Evaluating Complex MAC Protocols for Sensor Networks with APMC, Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing, Unnamed Item
Uses Software
