guest ::
Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004]
; ; ; ;
2005
Online
DOI: 10.1007/b137241
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Book
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
OpenAlex: W1509343160
Interne Identnummern
RWTH-CONV-094375
Datensatz-ID: 49521
Beteiligte Länder
Germany, Sweden, Switzerland
|
The record appears in these collections: |
Record created 2013-01-25, last modified 2026-09-23