h1

h2

h3

h4

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

Model checking performability properties

; ; ; ;

In
Proceedings / International Conference on Dependable Systems and Networks : 23 - 26 June 2002, Washington, D.C., USA / sponsored by IEEE Computer Society Technical Committee on Fault-Tolerant Computing (TCFTC) ..., Seiten/Artikel-Nr: 103-112

Konferenz/Event:International Conference on Dependable Systems and Networks , Washington, D.C. , USA , 2002-06-23 - 2002-06-26

ImpressumLos Alamitos, Calif. [u.a.] : IEEE Computer Society

Umfang103-112

ISBN0-7695-1597-5, 0-7695-1598-3, 0-7695-1599-1

Mikrofiche

Online
DOI: 10.1109/DSN.2002.1028891


Einrichtungen

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



Dokumenttyp
Contribution to a conference proceedings/Contribution to a book

Format
data medium, online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
WOS Core Collection: WOS:000177134700011
INSPEC: 7396084
SCOPUS: SCOPUS:2-s2.0-0036922038

Interne Identnummern
RWTH-CONV-188969
Datensatz-ID: 117614

Beteiligte Länder
Germany, Netherlands

 GO

QR Code for this record

The record appears in these collections:
Document types > Events > Contributions to a conference proceedings
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 2023-12-18
Similar records



Rate this document:

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