Gast ::
Automated performance and dependability evaluation using model checking
; ; ;
In
Performance evaluation of complex systems : techniques and tools ; Performance 2002 tutorial lectures ; [tutorials presented at the IFIP WG 7.3 International Symposium on Computer Modeling, Measurement and Evaluation (Performance 2002) held in Rome on September 23 - 27, 2002] / Maria Carla Calzarossa; Salvatore Tucci (eds.), Seiten/Artikel-Nr: 261-289
2002
Online
DOI: 10.1007/3-540-45798-4_12
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Contribution to a conference proceedings/Contribution to a book
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000179852900012
SCOPUS: SCOPUS:2-s2.0-84957049118
Interne Identnummern
RWTH-CONV-189065
Datensatz-ID: 117723
Beteiligte Länder
Germany, Netherlands
|
The record appears in these collections: |