Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Steffen, Bernhard; Margaria, Tiziana

Springer International Publishing AG

10/2022

474

Mole

Inglês

9783031197581

15 a 20 dias

741

Descrição não disponível.

Rigorous Engineering of Collective Adaptive Systems.- Formal Methods Meet Machine Learning.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

adaptive systems;architecture types;architecture verification and validation;artificial intelligence;computer hardware;computer programming;correlation analysis;embedded systems;formal languages;formal logic;formal methods;knowledge-based system;model checking;object-oriented programming;signal processing;software architecture;software engineering