HOME Popular Books Popular Audioooks Popular Textbooks Popular Freebooks More Genres

Book

Audiobook

Genres

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

By Alessandro Aldini

Release : 2024-08-02

Genre : Software, Books, Computers & Internet, Computers, Programming

Kind : ebook

(0 ratings)
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023
The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.
SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023) 

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

By Alessandro Aldini

Release : 2024-08-02

Genre : Software, Books, Computers & Internet, Computers, Programming

Kind : ebook

(0 ratings)
This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023
The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.
SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023) 

advertisement

Access e-books

More By Alessandro Aldini

A Process Algebraic Approach to Software Architecture Design

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

Foundations of Security Analysis and Design VI

Data Privacy Management, and Security Assurance

User-Centric Networking

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance

Data Privacy Management and Security Assurance

Foundations of Security Analysis and Design V

Foundations of Security Analysis and Design VIII

Foundations of Security Analysis and Design IV

Computer Performance Engineering

Formal Methods for Quantitative Aspects of Programming Languages