Ifm 2023
Download Ifm 2023 full books in PDF, epub, and Kindle. Read online free Ifm 2023 ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
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.
Author | : Mike Hinchey |
Publisher | : Springer Nature |
Total Pages | : 400 |
Release | : |
Genre | : |
ISBN | : 303173887X |
Author | : Luca Longo |
Publisher | : Springer Nature |
Total Pages | : 529 |
Release | : |
Genre | : |
ISBN | : 3031637976 |
Author | : Tiziana Margaria |
Publisher | : Springer Nature |
Total Pages | : 442 |
Release | : |
Genre | : |
ISBN | : 3031737091 |
Author | : André Platzer |
Publisher | : Springer Nature |
Total Pages | : 692 |
Release | : |
Genre | : |
ISBN | : 3031711629 |
Author | : Marieke Huisman |
Publisher | : Springer Nature |
Total Pages | : 184 |
Release | : |
Genre | : |
ISBN | : 303172044X |
Author | : Chunwei Cai |
Publisher | : Springer Nature |
Total Pages | : 736 |
Release | : |
Genre | : |
ISBN | : 981970877X |
Author | : Arie Gurfinkel |
Publisher | : Springer Nature |
Total Pages | : 447 |
Release | : |
Genre | : |
ISBN | : 303165630X |
Author | : Arie Gurfinkel |
Publisher | : Springer Nature |
Total Pages | : 597 |
Release | : |
Genre | : |
ISBN | : 3031656334 |
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