Author:
Reijsbergen Daniël,de Boer Pieter-Tjerk,Scheinhardt Werner,Haverkort Boudewijn
Funder
Netherlands Organisation for Scientific Research (NWO)
Subject
Computer Networks and Communications,Hardware and Architecture,Modelling and Simulation,Software
Reference25 articles.
1. SAE AADL, Working group, Architecture Analysis and Design Language (AADL), SAE Standards AS5506, November 2004. http://www.sae.org/technical/standards/AS5506.
2. A logic for reasoning about time and reliability;Hansson;Formal Aspects of Computing,1994
3. Verifying continuous-time Markov chains;Aziz;Lecture Notes in Computer Science,1996
4. Model-checking algorithms for continuous-time Markov chains;Baier;IEEE Transactions on Software Engineering,2003
5. H.L.S. Younes, R.G. Simmons, Probabilistic verification of discrete event systems using acceptance sampling, in: Proceedings of the 14th International Conference on Computer Aided Verification, 2002, pp. 223–235.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献