C. JardR. Dssouli, F. Khendec. Synthesis of distributed testers from true-concurrency models of reactive systems. International Journal of Information and Software Technology, 2002.
[ Monitoring ]
Claude Jard http://www.irisa.fr/distribcom
@article{tCJ-RI19,
Author = {Jard, C.},
Title = {Synthesis of distributed testers from true-concurrency models of reactive systems},
Journal = {International Journal of Information and Software Technology},
editor = {Dssouli, R. and Khendec, F.},
Publisher = {Elsevier},
Year = {2002}
}
Get EndNote Reference (.ref)