Author:
Merayo Mercedes G.,Núñez Manuel,Rodriguez Ismael
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Sifakis, J.: Use of Petri nets for performance evaluation. In: 3rd Int. Symposium on Measuring, Modelling and Evaluating Computer Systems, pp. 75–93. North-Holland, Amsterdam (1977)
2. Zuberek, W.: Timed Petri nets and preliminary performance evaluation. In: 7th Annual Symposium on Computer Architecture, pp. 88–96. ACM Press, New York (1980)
3. Reed, G., Roscoe, A.: A timed model for communicating sequential processes. Theoretical Computer Science 58, 249–261 (1988)
4. Lecture Notes in Computer Science;X. Nicollin,1992
5. Glabbeek, R.v., Smolka, S., Steffen, B.: Reactive, generative and stratified models of probabilistic processes. Information and Computation 121(1), 59–80 (1995)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal passive testing of timed systems: theory and tools;Software Testing, Verification and Reliability;2012-02-15
2. A formal framework to test soft and hard deadlines in timed systems;Software Testing, Verification and Reliability;2011
3. Passive Testing of Timed Systems;Automated Technology for Verification and Analysis;2008