Leveraging Applications of Formal Methods, Verification and Validation. Practice
portes grátis
Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV
Steffen, Bernhard; Margaria, Tiziana
Springer International Publishing AG
10/2022
424
Mole
Inglês
9783031197611
15 a 20 dias
670
Descrição não disponível.
Digital Twin Engineering.- Digital Thread in Smart Manufacturing.- Formal Methods for DIStributed COmputing in Future RAILway Systems.- Industrial Day.
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;digital signal processing;embedded systems;engineering;Field Programmable Gate Array (FPGA);fuzzy sets;graph theory;knowledge-based system;mobile robots;object-oriented programming;real time systems;robotics;signal processing;software architecture;software design;software engineering;theoretical computer science
Digital Twin Engineering.- Digital Thread in Smart Manufacturing.- Formal Methods for DIStributed COmputing in Future RAILway Systems.- Industrial Day.
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;digital signal processing;embedded systems;engineering;Field Programmable Gate Array (FPGA);fuzzy sets;graph theory;knowledge-based system;mobile robots;object-oriented programming;real time systems;robotics;signal processing;software architecture;software design;software engineering;theoretical computer science
