Del i serien Lecture Notes in Computer Science

Formal Methods: Foundations and Applications

28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings

Häftad, Engelska, 2025

AvMaurice H. ter Beek,Leopoldo Teixeira

859 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

859 kr

Skickas inom 10-15 vardagar

Häftad

959 kr

Skickas inom 10-15 vardagar

Häftad

819 kr

Skickas inom 10-15 vardagar

Häftad

819 kr

Skickas inom 10-15 vardagar

Häftad

819 kr

Skickas inom 10-15 vardagar

Häftad

959 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

969 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.

Produktinformation

Utgivningsdatum2025-11-27
Mått155 x 235 x 15 mm
Vikt406 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor243
FörlagSpringer Nature Switzerland AG
ISBN9783032120854

Tillhör följande kategorier

Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

.- Formal Reasoning for Assuring Product Lines of Complex Systems..- Safe Evolution of Smart Contracts Supported by LLMs and Bounded Model Checking..- Exploring Modelling Language Engineering..- Process Algebras and Time.- State-based Security and Time-Inserting Supervisors..- A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements using TASTD..- Formal Verification.- Bridging the B-Method and ACSL: Towards Verified C Code..- A Research Agenda for the Living SysML v2 Blueprint: Toward Executable, Verifiable, and Navigable System Models..- Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems..- Testing.- Deriving Sound Test Scripts from Requirements written in a Controlled Natural Language..- Executable Conformance Testing Theories: from Theory to Practice and Back..- Availability and Contracts.- Availability Model and Evaluation of Bus Rapid Transit Surveillance System..- Resource Contracts for Active Objects..- Formal Methods and AI.- Inference of Deterministic Finite Automata via Q-Learning..- Formal Development of a Safety Controller for Machine Learning Outputs in Vital Railway Systems..- Teaching and Foundations.- The Turner 2-Strings Machines..- A Proof of the De Zolt Postulate in Three-dimensional Space.

Mer från samma författare

Formal Methods – The Next 30 Years

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira

Häftad, 2019

739 kr

Del 11865

From Software Engineering to Formal Methods and Tools, and Back

Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

Häftad, 2019

739 kr

Del 12327

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ničković

Häftad, 2020

739 kr

Del 13274

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

Häftad, 2022

1 109 kr

Del 13271

Coordination Models and Languages

Maurice H. ter Beek, Marjan Sirjani

Häftad, 2022

1 769 kr

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte

Häftad, 2025

839 kr

Journeys Between Formal Methods and the Railway Industry

Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini

Häftad, 2026

1 449 kr

Del 9933

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

Häftad, 2016

739 kr

Architecting Dependable Systems VI

Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek

Häftad, 2009

739 kr

Web Services and Formal Methods

Maurice H. ter Beek, Niels Lohmann

Häftad, 2013

679 kr

Mer från samma serie

Compiler Construction

Albert Cohen

Häftad, 2014

709 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

719 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

739 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

739 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

739 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

739 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 209 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

739 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

959 kr

Del 16625

Web Engineering

Andrea Mauri, Lola Burgueño, Riccardo Tommasini

Häftad, 2026

1 099 kr

Du kanske också är intresserad av