Dependable Software Engineering. Theories, Tools, and Applications
portes grátis
Dependable Software Engineering. Theories, Tools, and Applications
8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
Dong, Wei; Talpin, Jean-Pierre
Springer International Publishing AG
12/2022
235
Mole
Inglês
9783031212123
15 a 20 dias
403
Descrição não disponível.
Verification and Testing for Machine Learning.- Dependable Software Development.- Dependable CPS and concurrent systems.- Theorem Proving and SAT.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;automation;computational linguistics;computer hardware;computer programming;databases;distributed computer systems;education;embedded systems;engineering;formal languages;linguistics;mathematics;matrix algebra;model checking;signal processing;software architecture;software design
Verification and Testing for Machine Learning.- Dependable Software Development.- Dependable CPS and concurrent systems.- Theorem Proving and SAT.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;automation;computational linguistics;computer hardware;computer programming;databases;distributed computer systems;education;embedded systems;engineering;formal languages;linguistics;mathematics;matrix algebra;model checking;signal processing;software architecture;software design
