Format:
Online-Ressource
ISBN:
9781457710285
,
1457710285
,
9781457710285
Note:
Weitere Papers erschienen im Springer-Verl., Berlin u.d.T.: Software engineering research, management and applications 2011 (Studies in computational intelligence, Vol. 377)
,
Parallel als Druckausg. erschienen
Additional Edition:
ISBN 9780769544908
Language:
English
Keywords:
Formale Methode
;
Komponentenmodell
;
Verifikation
;
Leistungsbewertung
;
Mensch-Maschine-Kommunikation
;
Information Retrieval
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
Bookmarklink