Titel

Merkliste
1 Ergebnisse

Trustworthy spacecraft design using formal methods:

Nguyen, Viet Yen
info:eu-repo/semantics/altIdentifier/urn/urn:nbn:de:hbz:82-opus-47785. , 2013

Link: https://publications.rwth-aachen.de/record/229446

RT Journal
T1 <Title>Trustworthy spacecraft design using formal methods</Title>

UL https://suche.suub.uni-bremen.de/peid=base-ftrwthaachenpubl:oai:publications.rwth-aachen.de:229446&Exemplar=1&LAN=DE
				
A1 Nguyen, Viet Yen
PB Dep. of Computer Science, RWTH Aachen
YR 2013
K1 info:eu-repo/classification/ddc/004
K1 Weltraumforschung
K1 Raumfahrt
K1 Raumfahrzeug
K1 Satellit
K1 Formale Methode
K1 Verifikation
K1 Validierung
K1 Modellierung
K1 Krylov-Verfahren
K1 Markov-Modell
K1 Informatik
K1 Raumfahrtsysteme
K1 Entwurf von Raumfahrtsystemen
K1 Craig-Interpolation
K1 formal methods
K1 spacecraft design
K1 verification and validation
K1 modeling
K1 satellite
K1 safety and dependability
K1 FTA
K1 FMEA
K1 Markov system software engineering
K1 Krylov subspace methods
K1 Craig interpolation
JF info:eu-repo/semantics/altIdentifier/urn/urn:nbn:de:hbz:82-opus-47785
LK http://dx.doi.org/https://publications.rwth-aachen.de/record/229446
DO https://publications.rwth-aachen.de/record/229446
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)