Imagem da capa

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submission...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros Autores: Marmsoler, Diego (Editor), Sun, Meng (Editor)
Formato: Recurso Electrónico livro electrónico
Idioma:inglês
Publicado em: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edição:1st ed. 2024.
Colecção:Lecture Notes in Computer Science, 15189
Assuntos:
Machine theory.
Natural language processing (Computer science).
Data structures (Computer science).
Information theory.
Software engineering.
Computer systems.
Formal Languages and Automata Theory.
Natural Language Processing (NLP).
Data Structures and Information Theory.
Software Engineering.
Computer System Implementation.
Acesso em linha:https://doi.org/10.1007/978-3-031-71261-6
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Descrição
Resumo:This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.
Descrição Física:XVII, 147 p. 71 illus., 41 illus. in color. online resource.
ISBN:9783031712616
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-71261-6

Registos relacionados