Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 10 von 97
    Datensatz exportieren als...
  • BibTeX
Safety requirements and fault trees using retrenchment
Lecture notes in computer science, 2004, p.210-223
2004
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Safety requirements and fault trees using retrenchment
Ist Teil von
  • Lecture notes in computer science, 2004, p.210-223
Ort / Verlag
Berlin: Springer
Erscheinungsjahr
2004
Quelle
Alma/SFX Local Collection
Sprache
Englisch
Identifikatoren
ISBN: 3540231765, 9783540231769
ISSN: 0302-9743
eISSN: 1611-3349
Titel-ID: cdi_pascalfrancis_primary_16177806
Format
–
Schlagworte
Applied sciences, Computer science, control theory, systems, Exact sciences and technology, Memory and file management (including protection and security), Memory organisation. Data processing, Software

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX