A. Benveniste, B.C. Levy, E. Fabre, P. Le Guernic. A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems. In 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science 863, Pages 149-169, Septembre 1994.
@InProceedings{benveniste94d,
Author = {Benveniste, A. and Levy, B.C. and Fabre, E. and Le Guernic, P.},
Title = {A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems},
BookTitle = {3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems},
Pages = {149--169},
Series = {Lecture Notes in Computer Science 863},
Publisher = {Springer-Verlag},
Month = {September},
Year = {1994}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.