h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Timed model-based testing

;

In
Tangram: model-based integration and testing of complex high-tech systems : a collaborative research project for multi-disciplinary design of high-tech systems / ed.: Jan Tretmans, Seiten/Artikel-Nr: 115-128

ImpressumEindhoven : Embedded Systems Institute, The Netherlands

Umfang115-128

ISBN978-90-78679-02-8

Online
URL: http://eprints.eemcs.utwente.nl/11505/02/_Tangram-book-ch9-timed-model-based-testing.pdf

Einrichtungen

  1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
  2. Fachgruppe Informatik (120000)


External link:
Download fulltext
Homepage of publisher

Dokumenttyp
Contribution to a book

Format
online, print

Sprache
English

Interne Identnummern
RWTH-CONV-101298
Datensatz-ID: 89829

 GO


QR Code for this record

The record appears in these collections:
Document types > Books > Contributions to a book
Faculty of Computer Science (Fac.9)
Public records
Publications database
120000
121310

 Record created 2013-01-28, last modified 2026-07-10


External link:
Download fulltext
Homepage of publisher
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)