Formal Aspects of Component Software

Formal Aspects of Component Software

17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

Wijs, Anton; Salauen, Gwen

Springer Nature Switzerland AG

11/2021

175

Mole

Inglês

9783030906351

15 a 20 dias

296

Descrição não disponível.
Invited Papers.- ?Modelling & Composition.- Verification.
architecting;architecture verification and validation;computer networks;computer programming;computer science;computer systems;databases;embedded systems;engineering;internet;linguistics;mathematics;model checking;network protocols;programming languages;signal processing;software architecture;software design;software engineering;theoretical computer science