NASA Formal Methods
-15%
portes grátis
NASA Formal Methods
9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Davies, Misty; Barrett, Clark; Kahsai, Temesghen
Springer International Publishing AG
04/2017
436
Mole
Inglês
9783319572871
15 a 20 dias
682
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.
automata theory;logic and verification;model checking;abstract interpretation;application of formal methods;quantitative analysis;static analysis;proofs and certificate;formal requirements;formal verification;formal specification;formal methods;timed automata;natural language;machine learning;separation logic;algorithms;static analysis;algorithm analysis and problem complexity
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
automata theory;logic and verification;model checking;abstract interpretation;application of formal methods;quantitative analysis;static analysis;proofs and certificate;formal requirements;formal verification;formal specification;formal methods;timed automata;natural language;machine learning;separation logic;algorithms;static analysis;algorithm analysis and problem complexity
