An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems-Reference-Cited by-同舟云学术

An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems

Published:2002 Issue: Volume: Page:209-210
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bravetti Mario

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45605-8_14

Reference4 articles.

1. Ph.D. Thesis;M. Bravetti,2002

2. M. Bravetti, “Towards the Integration of Real-Time and Probabilistic-Time Process Algebras”, in Proc. of the 3rd European Research Seminar on Advances in Distributed Systems (ERSADS’99), Madeira Island (Portugal), April 1999

3. J. Bryans, J. Derrick, “Stochastic Specification and Verification”, In Proc. of the 3rd Irish Workshop in Formal Methods, Elect. Workshops in Comp., July 1999

4. P.R. D’Argenio, “A Compositional Translation of Stochastic Automata into Timed Automata”, Technical Report CTIT 00-08, Univ. Twente, May 2000

Cited by 27 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces;Theoretical Aspects of Computing – ICTAC 2018;2018

2. An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems;Formal Aspects of Computing;2017-03

3. A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems;Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems;2014

4. A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences;Information and Computation;2013-04

5. Towards Supervisory Control of Generally-Distributed Discrete-Event Systems;Computer Performance Engineering;2013