Dependable Software Engineering. Theories, Tools, and Applications
-15%
portes grátis
Dependable Software Engineering. Theories, Tools, and Applications
4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Yang, Zijiang; Mueller-Olm, Markus; Feng, Xinyu
Springer International Publishing AG
08/2018
201
Mole
Inglês
9783319999326
15 a 20 dias
454
Descrição não disponível.
Refinement.- Verification.- Timing and Scheduling.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;dependable software;software engineering;complex systems;software modeling;specification;verification;semantics;model checking;theorem proving;formal logic;programming languages;software evaluation;embedded Systems;real time systems;verification;data security;algorithm analysis and problem complexity
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;dependable software;software engineering;complex systems;software modeling;specification;verification;semantics;model checking;theorem proving;formal logic;programming languages;software evaluation;embedded Systems;real time systems;verification;data security;algorithm analysis and problem complexity
