Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
portes grátis
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Bernardeschi, Cinzia; Koddenbrock, Mario; Palmieri, Maurizio; Masci, Paolo; Graziani, Pierluigi
Springer International Publishing AG
02/2023
420
Mole
Inglês
9783031262357
15 a 20 dias
Descrição não disponível.
Artificial Intelligence.- Co-Simulation.- Formal Methods.- Formal Modelling.- Verification and Validation.- High Confidence Systems.- Integrated Development Environment.- Interdisciplinary Foundations of Cognition.- Logics; Simulation; Software Engineering; System Engineering.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer hardware;computer programming;computer science;computer systems;embedded systems;engineering;formal logic;fuzzy sets;knowledge-based system;linguistics;machine learning;mathematics;mobile robots;object-oriented programming;robotics;signal processing;software architecture;software design;software engineering
Artificial Intelligence.- Co-Simulation.- Formal Methods.- Formal Modelling.- Verification and Validation.- High Confidence Systems.- Integrated Development Environment.- Interdisciplinary Foundations of Cognition.- Logics; Simulation; Software Engineering; System Engineering.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;computer hardware;computer programming;computer science;computer systems;embedded systems;engineering;formal logic;fuzzy sets;knowledge-based system;linguistics;machine learning;mathematics;mobile robots;object-oriented programming;robotics;signal processing;software architecture;software design;software engineering
