1
Publié 2008
Table des matières: ... -- Outlook on Generation IV Nuclear Systems and Related Materials R&D Challenges -- Fundamentals...
Accéder au texte intégral
Électronique eBook
2
Publié 2014
Table des matières: ... Safe Bit-Precise Invariants -- PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust...
Accéder au texte intégral
Électronique eBook