iFM 2023

iFM 2023
Author: Paula Herber
Publisher: Springer Nature
Total Pages: 406
Release: 2023-11-10
Genre: Computers
ISBN: 3031477057

This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

Formal Methods

Formal Methods
Author: André Platzer
Publisher: Springer Nature
Total Pages: 692
Release:
Genre:
ISBN: 3031711629

Tests and Proofs

Tests and Proofs
Author: Marieke Huisman
Publisher: Springer Nature
Total Pages: 184
Release:
Genre:
ISBN: 303172044X

Proceedings of the 2023 Water Reactor Fuel Performance Meeting

Proceedings of the 2023 Water Reactor Fuel Performance Meeting
Author: Jianqiao Liu
Publisher: Springer Nature
Total Pages: 384
Release: 2023-11-30
Genre: Science
ISBN: 9819971578

The Water Reactor Fuel Performance Meeting (WRFPM) held in Asia has merged with TopFuel in Europe and LWR Fuel Performance in the United States to form the globally most influential conference in the field of nuclear fuel research. WRFPM2023 is organized by Chinese Nuclear Society (CNS) in cooperation with the Atomic Energy Society of Japan (AESJ), Korean Nuclear Society (KNS), European Nuclear Society (ENS), American Nuclear Society (ANS), the Interna-tional Atomic Energy Agency (IAEA) with the support from China Nuclear Energy In¬dustry Corporation (CNEIC) and TVEL. Conference Topics: 1. Advances in water reactor fuel technology and testing 2. Operation and experience 3. Transient and off-normal fuel behaviour and safety related issues 4. Fuel cycle, used fuel storage and transportation 5. Innovative fuel and related issues 6. Fuel modelling, analysis and methodology