Fulltext present in this item

Thumbnail
Fulltext: 72665.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: On conformance testing for timed systems
Author(s): Schmaltz, Julien ; Tretmans, Jan
Publication year: 2008
In: Lecture Notes in Computer Science, (2008)Cassez, Franck; Jard, Claude (ed.), Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 250-264
Publisher: Berlin : Springer
ISBN: 9783540857778
ISSN: 0302-9743
DOI: http://dx.doi.org/10.1007/978-3-540-85778-5_18
Annotation: 6th International Conference, FORMATS 2008, 15 september 2008
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/72665   https://hdl.handle.net/2066/72665

Display more details
Editor(s): Cassez, Franck; Jard, Claude
Subject: Software Science
Organization: Software Science
Informatics for Technical Applications
Journal title:
Lecture Notes in Computer Science
Book title: Cassez, Franck; Jard, Claude (ed.), Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
Page start: p. 250
Page end: p. 264

This item appears in the following Collection(s)

Browse

Statistics