( en | de | ru )

 

Disambiguation of "Juanole, Guy"

Author of the publication

copydeleteadd this publication to your clipboard
Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems.

, and . PNPM, page 32-41. IEEE Computer Society, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Olga Guyot

Thomas Guyet

Irene Guy

Bodo Guyet

Karl Guyot

 

Other publications of authors with the same name

Design of Networked Control Systems (NCSs) on the basis of interplays between Quality of Control and Quality of Service., and . SIES, page 85-93. IEEE, (2012)Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase., and . Protocol Specification, Testing, and Verification, page 273-282. North-Holland, (1983)Formal specification of ISO virtual terminal in Estelle., , and . INFOCOM, page 623-630. IEEE, (1988)On Resource Management in Heterogeneous Wireless Access Networks application to automated highway systems., , and . NOTERE, page 137-142. IEEE, (2010)Quantified reduced views of state graphs using Markovian and timed observational equivalence., , and . PSTV, volume 38 of IFIP Conference Proceedings, page 253-268. Chapman & Hall, (1995)Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth., and . ETFA, page 30-37. IEEE, (2006)Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems., and . PNPM, page 32-41. IEEE Computer Society, (1991)Methodology for Obtaining Abstract Views of State Graphs Labeled with Probabilities and Times: An Example of Application to a Communication Protocol., and . MASCOTS, page 299-306. IEEE Computer Society, (1995)Observer-A Concept for Formal On-Line Validation of Distributed Systems., , and . IEEE Trans. Software Eng., 20 (12): 900-913 (1994)Functional and Performance Analysis Using Extended Time Petri Nets., and . PNPM, page 14-23. IEEE Computer Society, (1987)