Gast ::
On the use of model checking techniques for dependability evaluation
; ;
In
Proceedings / 19. IEEE Symposium on Reliable Distributed Systems : Nürnberg, Germany, 16.-18.10.2000 / sponsored by IEEE Computer Society Technical Committee on Distributed Processing... (SRDS-2000), Seiten/Artikel-Nr: 228-237
2000
Online
DOI: 10.1109/RELDI.2000.885410
Einrichtungen
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:000165735700023
INSPEC: 6763351
SCOPUS: SCOPUS:2-s2.0-0034544334
Interne Identnummern
RWTH-CONV-184535
Datensatz-ID: 112686
Beteiligte Länder
Germany, Netherlands
|
The record appears in these collections: |