Login / Signup

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets.

Erzsébet NémethTamás BarthaCsaba FazekasKatalin M. Hangos
Published in: Reliab. Eng. Syst. Saf. (2009)
Keyphrases