Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5703762
DOI10.1007/b107194zbMath1087.68059OpenAlexW2497867240MaRDI QIDQ5703762
Lucia Cloth, Boudewijn R. Haverkort, Anne Remke
Publication date: 10 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107194
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Continuous-time Markov processes on discrete state spaces (60J27)
Related Items (max. 100)
Performance analysis for \((X,S)\)-bottleneck cell in large-scale wireless networks ⋮ Performability assessment by model checking of Markov reward models ⋮ An analytical model for end-to-end communication channel over PLCN based on QBDs ⋮ CSL model checking algorithms for QBDs
This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems