libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro
ARGOMENTO:  BOOKS > INFORMATICA > TESTI GENERALI

cámara javier (curatore); jongmans sung-shik (curatore) - formal aspects of component software
Zoom

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

;




Disponibilità: Non ordinabile


PREZZO
90,98 €



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, Carta della Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 01/2024
Edizione: 1st ed. 2024





Trama

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.

The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.





Sommario

Research Papers.- Symbolic Path-guided Test Cases for Models with Data and Time.- Model-Based Testing of Asynchronously Communicating Distributed Controllers.- A Mechanized Semantics for Component-based Systems in the HAMR AADL Runtime.- A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer.- Joint use of SysML and Reo to specify and verify the compatibility of CPS components.- From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs.- Anniversary Papers.- Formal Model Engineering of Distributed CPSs using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL.- Challenges Engaging Formal CBSE in Industrial Applications.- Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories.- Overview on Constrained Multiparty Synchronisation in Team Automata.- Embedding Formal Verification in Model-Driven Software Engineering with SLCO: An Overview.










Altre Informazioni

ISBN:

9783031521829

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:XXII, 229 p. 65 illus., 40 illus. in color.
Pagine Arabe: 229
Pagine Romane: xxii


Dicono di noi