Author:
Klink Daniel,Remke Anne,Haverkort Boudewijn R.,Katoen Joost-Pieter
Subject
Computer Networks and Communications,Hardware and Architecture,Modelling and Simulation,Software
Reference33 articles.
1. Logic and stochastic modeling with SMART;Ciardo,2003
2. CSL model checking for the GreatSPN tool;D’Aprile,2004
3. The PEPA workbench: a tool to support a process algebra-based approach to performance modelling;Gilmore,1994
4. Model-checking algorithms for continuous-time Markov chains;Baier;IEEE Transactions on Software Engineering,2003
5. A generalization of the matrix M/G/1 paradigm for Markov chains with a tree structure;Takine;Stochastic Models,1995
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The 10,000 Facets of MDP Model Checking;Lecture Notes in Computer Science;2019
2. The Probabilistic Model Checking Landscape;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
3. Simulative and Analytical Evaluation for ASD-Based Embedded Software;Lecture Notes in Computer Science;2012
4. Model Checking: One Can Do Much More Than You Think!;Fundamentals of Software Engineering;2012