Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 1 results
Sort by: relevance publication year

The Use of Formal Methods of Verification and Validation in NPP Design

PROCEEDINGS ARTICLE published October 2018 in 2018 Eleventh International Conference "Management of large-scale system development" (MLSD

Authors: Anton S. Korolev | Alexander Yu. Shamanin