Formal Methods for Industrial Critical Systems
portes grátis
Formal Methods for Industrial Critical Systems
28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Titolo, Laura; Cimatti, Alessandro
Springer International Publishing AG
09/2023
260
Mole
Inglês
9783031436802
15 a 20 dias
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;industrial critical systems;safety-critical systems;static analysis;model checking;temporal logics;automata;formal verification;validation;certification;debugging;learning;optimization;distributed systems;real-time systems;embedded systems;autonomous systems;SAT and SMT;hybrid systems;cyber-physical systems
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;industrial critical systems;safety-critical systems;static analysis;model checking;temporal logics;automata;formal verification;validation;certification;debugging;learning;optimization;distributed systems;real-time systems;embedded systems;autonomous systems;SAT and SMT;hybrid systems;cyber-physical systems
