Computer Aided Verification
-15%
portes grátis
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Majumdar, Rupak; Kuncak, Viktor
Springer International Publishing AG
07/2017
601
Mole
Inglês
9783319633862
15 a 20 dias
9299
Descrição não disponível.
Data Driven Techniques.- Runtime Verication.- Cyber-Physical Systems.- Concurrency.- Analysis of Software and Hardware.- Foundations of Verification.- Distributed and Networked Systems.- Synthesis.- Decision Procedures and their Applications.- Software Analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Software engineering;Semantics;Computer software selection and evaluation;Artificial intelligence;Model checking;Verification;Temporal logic;Programming languages;Specifications;Learning systems;Probability;Neural networks;Formal logic
Data Driven Techniques.- Runtime Verication.- Cyber-Physical Systems.- Concurrency.- Analysis of Software and Hardware.- Foundations of Verification.- Distributed and Networked Systems.- Synthesis.- Decision Procedures and their Applications.- Software Analysis.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
