Synthesis of distributed testers from true-concurrency models of reactive systems

Claude Jard. Synthesis of distributed testers from true-concurrency models of reactive systems. Information \& Software Technology, 45(12):805-814, 2003. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.