Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Subjects

Subjects :

Development (topology)
law
Computer science
Nuclear power plant
Systems engineering
Software requirements
Protection system
Safety, Risk, Reliability and Quality
Industrial and Manufacturing Engineering
law.invention

Details

ISSN :

09518320

Volume :

83

Database :

OpenAIRE

Journal :

Reliability Engineering & System Safety

Accession number :

edsair.doi...........84aee6e0fb021813273a5297a32fdde2