Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
portes grátis
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
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
