NASA Formal Methods

NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Munoz, Cesar; Dutle, Aaron; Narkawicz, Anthony

Springer International Publishing AG

03/2018

470

Mole

Inglês

9783319779348

15 a 20 dias

735

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.
artificial intelligence;automated theorem proving;code generation;computer software selection and evaluation;distributed computer systems;fault tolerance;formal methods;formal verification;model checking;problem solving;programming languages;real time systems;run-time verification;semantics;software engineering;specifications;temporal logic;verification