TY  - BOOK
AU  - Marmsoler,Diego
AU  - Sun,Meng
ED  - SpringerLink (Online service)
TI  - Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031712616
AV  - QA267-268.5 
U1  - 005.131 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Machine theory
KW  - Natural language processing (Computer science)
KW  - Data structures (Computer science)
KW  - Information theory
KW  - Software engineering
KW  - Computer systems
KW  - Formal Languages and Automata Theory
KW  - Natural Language Processing (NLP)
KW  - Data Structures and Information Theory
KW  - Software Engineering
KW  - Computer System Implementation
N1  - Verification and testing: Enabling behaviour tree verification via a translation to BIP -- Verified fault handling for modern board management controllers -- Testing compositionality. Formal models: Correct pattern-based development through refinements and weakest preconditions calculus -- Coq formalization of orientation representation: matrix, Euler angles, axis-angle and quaternion -- Reactive graphs in action. Security and blockchain: Extracting formal smart-contract specifications from natural language with LLMs -- How do asynchronous communication models impact the composability of information flow security?
N2  - 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
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-71261-6
ER  -