Architectural model driven dependability analysis of computer based safety system in nuclear power plant

Simple item page
dc.contributor.authorWakankar, A.
dc.contributor.authorKabra, A.
dc.contributor.authorBhattacharjee, A. K.
dc.contributor.authorKarmakar, G.
dc.date.accessioned2019-12-10T10:34:30Z
dc.date.available2019-12-10T10:34:30Z
dc.date.issued2019
dc.description.divisionRCnDen
dc.format.extent4423 bytes
dc.format.mimetypetext/html
dc.identifier.sourceNuclear Engineering and Technology, 2019. Vol. 51: pp. 463-478en
dc.identifier.urihttp://hdl.handle.net/123456789/20087
dc.language.isoenen
dc.subjectArchitectural analysisen
dc.subjectSafetyen
dc.subjectAvailabilityen
dc.subjectProbabilistic model checkingen
dc.subjectReactor trip systemen
dc.titleArchitectural model driven dependability analysis of computer based safety system in nuclear power planten
dc.typeArticleen

Click here to download

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
0456.htm
Size:
4.32 KB
Format:
Hypertext Markup Language
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.81 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

2019