Formal Methods: Foundations and Applications
portes grátis
Formal Methods: Foundations and Applications
25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
Lima, Lucas; Molnar, Vince
Springer International Publishing AG
12/2022
143
Mole
Inglês
9783031224751
15 a 20 dias
261
Descrição não disponível.
Invited Talks.- Model Checking and Semantics.- Generation and Synthesis.- Verification and Solvers.
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;computer hardware;computer programming;computer science;computer systems;embedded systems;engineering;formal languages;formal logic;formal methods;graph theory;linguistics;mathematics;model checking;software architecture;software design;software engineering;theoretical computer science
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;computer hardware;computer programming;computer science;computer systems;embedded systems;engineering;formal languages;formal logic;formal methods;graph theory;linguistics;mathematics;model checking;software architecture;software design;software engineering;theoretical computer science
