G. Lopez. Modelisation, Simulation et Verification d'un Protocole de Telecommunication. Graduation Report. Eindhoven University of Technology, Eindhoven (Netherlands), 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Reducing Markov Chains for Performance Evaluation - Pribadi, Voeten, Theelen (2001) (1 citation) (Correct)
....to be very useful to describe real life industrial systems and to verify their qualitative (correctness) and quantitative(performance) properties. In [6] 10] for instance, POOSL has been applied to design and analyze a distributed control system for a new generation of mailing machines. In [5], a protectionswitching protocol for SDH has been modeled, simulated and verified. A case study on the application of the POOSL formalism to analyze the performance properties of an industrial sized Internet Router has been presented in [9] The POOSL language is equipped with a Plotkin style ....
G. Lopez. Modelisation, Simulation et Verification d'un Protocole de Telecommunication. Graduation Report. Eindhoven University of Technology, Eindhoven (Netherlands), 1998.
An Analytical Approach towards System Level.. - Voeten, Stappers.. (1999) (Correct)
....has proven to be very useful to describe real life systems and to verify their qualitative (correctness) properties. For instance in [12] 15] the language has been applied for the analysis and design of an industrial distributed control system for a new generation of mailing machines and in [9] an industrial protection switching protocol for SDH has been modeled, simulated and verified. Unfortunately, currently POOSL does not support the possibility to analyze quantitative (performance) properties such as the throughput of a communication channel or the average amount of messages ....
G. Lopez, Modelisation, simulation et verification d'un protocole de telecommunication, Graduation Report, Eindhoven University of Technology, Eindhoven the Netherlands, 1998.
An Analytical Approach towards System Level.. - Voeten, Stappers.. (1999) (Correct)
....has proven to be very useful to describe real life systems and to verify their qualitative (correctness) properties. For instance in [12] 15] the language has been applied for the analysis and design of an industrial distributed control system for a new generation of mailing machines and in [9] an industrial protection switching protocol for SDH has been modeled, simulated and verified. Unfortunately, currently POOSL does not support the possibility to analyze quantitative (performance) properties such as the throughput of a communication channel or the average amount of messages ....
G. Lopez, Modelisation, simulation et verification d'un protocole de telecommunication, Graduation Report, Eindhoven University of Technology, Eindhoven the Netherlands, 1998.
System-Level Modeling and Performance Analysis - Theelen, Voeten, van.. (2000) (Correct)
No context found.
G. Lopez. Modelisation, Simulation et Verification d'un Protocole de Telecommunication. Graduation Report. Eindhoven University of Technology, Eindhoven (Netherlands), 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC