On Conformance Testing for Timed Systems

Julien Schmaltz, Jan Tretmans. On Conformance Testing for Timed Systems. In Franck Cassez, Claude Jard, editors, Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Volume 5215 of Lecture Notes in Computer Science, pages 250-264, Springer, 2008. [doi]

Authors

Julien Schmaltz

This author has not been identified. Look up 'Julien Schmaltz' in Google

Jan Tretmans

This author has not been identified. Look up 'Jan Tretmans' in Google