Reachability Problems
-15%
portes grátis
Reachability Problems
11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Potapov, Igor; Hague, Matthew
Springer International Publishing AG
08/2017
193
Mole
Inglês
9783319670881
15 a 20 dias
3285
Descrição não disponível.
Reachability problems in infinite state systems.- rewriting systems.- dynamical and hybrid systems.- reachability problems in logic and verification.- eachability analysis in different computational models.- Petri-Nets.- Computational aspects of algebraic structures.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
semantics;software engineering;model checking;automata theory;timed automata;translation (languages);programming languages;computer software selection and evaluation;verification;Reachability problems in infinite state systems;rewriting systems;dynamical and hybrid systems;Petri-Nets;reachability problems in logic and verification;algorithm analysis and problem complexity
Reachability problems in infinite state systems.- rewriting systems.- dynamical and hybrid systems.- reachability problems in logic and verification.- eachability analysis in different computational models.- Petri-Nets.- Computational aspects of algebraic structures.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
semantics;software engineering;model checking;automata theory;timed automata;translation (languages);programming languages;computer software selection and evaluation;verification;Reachability problems in infinite state systems;rewriting systems;dynamical and hybrid systems;Petri-Nets;reachability problems in logic and verification;algorithm analysis and problem complexity
