"3+3 process" for safety critical software for I&C system in nuclear power plants /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jung, Jae-Cheon.
Weitere Verfasser:	Chang, Hoon-Sun., Kim, Hang-Bae.
Format:	Artikel
Sprache:	English
Schlagworte:	Model driven architecture Safety analysis Safety critical software Validation Verification
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Ähnliche Einträge