Lecture Notes in Computer Science16194 Integrated Formal Methods

Name: Lecture Notes in Computer Science16194 Integrated Formal Methods
SKU: cfb10a153fa0e6ac7c6383c555d6ec77
Price: 65.99 EUR
Availability: InStock

1/1

Afbeelding van Lecture Notes in Computer Science16194 Integrated Formal Methods

Bol

Prijzen vanaf

65,99

Uitgelicht

	65,99	Naar shop
VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

Bol This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025. The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025. The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.

Lees meer

Vergelijk aanbieders (1)

Sorteren op:

€ 65,99 Gratis verzending

Beschrijving (1)

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025. The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025. The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.

Lees meer